摘要：逻辑编程与函数式编程范式结合的自动化转换方法的研究
作者：Michael Hanus
论文ID：2205.06841
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-17
PDF 下载： 英文版 中文版pdf翻译中