皮尔斯类型和编程语言到miniKanren core.logic的翻译Translation of Pierce s Types and Programming Languages into miniKanren core.logic (2014-02-25, Scheme, 20KB, 下载0次)