摘要：基于步骤索引的类型语义模型被提出作为纯句法安全证明和主题缩减的替代方法。在Appel和其他人的工作基础上，我们引入了一个加强版的步骤索引模型来处理按名调用的lambda演算。我们还展示了如何在我们的按名调用模型中证明一般递归的类型安全性。
作者：Benedikt Meurer
论文ID：1105.1985
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-05-17
PDF 下载： 英文版 中文版pdf翻译中