摘要：《pi-forall: 一个最小的依赖类型语言及其类型检查器的设计》
作者：Stephanie Weirich
论文ID：2207.02129
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-13
PDF 下载： 英文版 中文版pdf翻译中