摘要：依赖类型语言的形式化defunctionalization转换的研究
作者：Yulong Huang, Jeremy Yallop
论文ID：2304.04574
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-11
PDF 下载： 英文版 中文版pdf翻译中