摘要：用于值调用函数语言中相互递归定义的编译方案的形式化和正确性证明
作者：Tom Hirschowitz (LM-Savoie), Xavier Leroy (INRIA Rocquencourt), J. B. Wells
论文ID：0902.1257
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-02-01
PDF 下载： 英文版 中文版pdf翻译中