摘要：基于嵌套细化类型的动态语言程序类型检查机制（System D）的验证成熟度证明
作者：Ravi Chugh and Patrick M. Rondon and Ranjit Jhala
论文ID：1103.5055
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-09-16
PDF 下载： 英文版 中文版pdf翻译中