名为“Call-by-name Gradual Type Theory”的论文标题的中文翻译是：按名渐进类型理论。

摘要：渐进类型理论：一种按值渐进类型的逻辑和类型理论

作者：Max S. New and Daniel R. Licata

论文ID：1802.00061

分类：Programming Languages

分类简称：cs.PL

提交时间：2023-06-22

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