Primitive Recursion for Higher-Order Abstract Syntax

TLCA, pp. 147-163, 1997.

被引用134|引用|浏览10|
EI
其它链接dl.acm.org|dblp.uni-trier.de|academic.microsoft.com
关键词
higher-order abstract syntaxprimitive recursioncomputational linguisticsobject oriented programmingsyntax

摘要

Without Abstract

代码

数据

您的评分 :
0

 

标签
评论