摘要：通用数据类型的新方法：行类型和行类型编程的形式化模型
作者：Alex Hubers and J. Garrett Morris
论文ID：2307.08759
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-21
PDF 下载： 英文版 中文版pdf翻译中