Coq中的尺寸类型是否实用?

摘要:Coq中的尺寸推断:一项实证研究

作者:Jonathan Chan, Yufeng Li, William J. Bowman

论文ID:1912.05601

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-01-26

PDF 下载: 英文版 中文版pdf翻译中