无关性、异质平等与按值调用的依赖类型系统
摘要：一个包括非终止和计算无关性（即被删除）的全频谱依赖型核心语言的提出
作者：Vilhelm Sj"oberg (University of Pennsylvania), Chris Casinghino (University of Pennsylvania), Ki Yung Ahn (Portland State University), Nathan Collins (Portland State University), Harley D. Eades III (University of Iowa), Peng Fu (University of Iowa), Garrin Kimmell (University of Iowa), Tim Sheard (Portland State University), Aaron Stump (University of Iowa), Stephanie Weirich (University of Pennsylvania)
论文ID：1202.2923
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-02-15