摘要：一种惰性求值的替代公理化方法
作者：Stephen Chang and Matthias Felleisen
论文ID：1201.3907
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-19
PDF 下载： 英文版 中文版pdf翻译中