终止转换：一种灵活的通用递归终止方法
摘要：Teqt：一个具有终止和总函数的类型和效果系统的Lambda演算。
作者：Aaron Stump (The University of Iowa), Vilhelm Sj"oberg (University of Pennsylvania), Stephanie Weirich (University of Pennsylvania)
论文ID：1012.4900
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-12-23