可扩展数据类型的通用编程;或者,使临时可扩展数据类型不那么临时

摘要:通用数据类型的新方法:行类型和行类型编程的形式化模型

作者:Alex Hubers and J. Garrett Morris

论文ID:2307.08759

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-07-21

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