摘要：依赖类型的证明组合的机械方法
作者：Christopher Schwaab and Jeremy G. Siek
论文ID：1208.0535
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-08-03
PDF 下载： 英文版 中文版pdf翻译中