围绕高阶模式统一的语言Lambda Prolog实现

摘要:Lambda Prolog的实施

作者:Xiaochu Qi

论文ID:0911.5203

分类:Programming Languages

分类简称:cs.PL

提交时间:2009-11-30

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