摘要：设计和验证声音语言互操作性的框架
作者：Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
论文ID：2202.13158
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-04-12
PDF 下载： 英文版 中文版pdf翻译中