摘要：依赖类型语言工作台：通过Velo展示的实例证明
作者：Jan de Muijnck-Hughes, Guillaume Allais, Edwin Brady
论文ID：2301.12852
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-01-31
PDF 下载： 英文版 中文版pdf翻译中