University of St Andrews, St Andrews, UK;
rnUniversity of St Andrews, St Andrews, UK;
rnLudwig-Maximilians University, Munich, Germany;
rnLudwig-Maximilians University, Munich, Germany;
functional programming; resource analysis; types;
机译:静态确定高阶程序的定量资源使用情况
机译:一阶功能程序堆空间使用的静态预测
机译:分析二元可执行程序的运行时资源使用的特征
机译:静态测定高阶节目的定量资源用法
机译:加利福尼亚州计划改进学校中资源使用情况的循证研究。
机译:解决发育程序化机制的基因组资源:确定胎羊心脏转录组
机译:静态确定高阶程序的定量资源使用情况