摘要：两边类型系统的介绍及其在程序验证中的应用
作者：Steven Ramsay and Charlie Walpole
论文ID：2307.06928
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-14
PDF 下载： 英文版 中文版pdf翻译中