摘要：从依赖类型编程语言Agda的简单类型λ演算的小步解释器推导出可执行的Krivine抽象机器的论文。
作者：Wouter Swierstra (Radboud University Nijmegen)
论文ID：1202.2924
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-02-15
PDF 下载： 英文版 中文版pdf翻译中