A LINEAR-SPACE TRANSLATION OF FUNCTIONAL PROGRAMS TO TURNER COMBINATORS

被引：18

作者：

BURTON, FW

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(82)90014-X

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：201 / 204

页数：4

相关论文

共 4 条

[1] ABSTRACTION ALGORITHM FOR COMBINATORY LOGIC [J].

ABDALI, SK .

[2]

KENNAWAY JR, UNPUB COMPLEXITY TRA

[3] NEW IMPLEMENTATION TECHNIQUE FOR APPLICATIVE LANGUAGES [J].

TURNER, DA .

[4]

TURNER DA, 1978, J SYMBOLIC LOGIC, V44, P67