AN EFFICIENT INTERPRETER FOR THE LAMBDA-CALCULUS

被引：9

作者：

AIELLO, L ^{[1
]}

PRINI, G ^{[1
]}

机构：

[1] UNIV PISA,IST SCI INFORMAZIONE,I-56100 PISA,ITALY

来源：

关键词：

D O I：

10.1016/0022-0000(81)90073-8

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：383 / 424

页数：42

共 31 条

[1]

AIELLO L, 1978, FORMAL DESCRIPTION P, P121

[2]

AIELLO L, 1976, S7614 U PIS I SCI IN

[3]

AIELLO L, 1977, FUND INFORM, V1, P251

[4]

ASIRELLI P, 1975, C7513 MAGMA LISP REF

BACKUS, J .

[6]

Barendregt Henk P., 1977, HDB MATH LOGIC, V90, P1091

[7] PARTIAL EVALUATOR, AND ITS USE AS A PROGRAMMING TOOL [J].

BECKMAN, L ;

HARALDSON, A ;

OSKARSSON, O ;

SANDEWALL, E .

[8]

Bohm C., 1972, International Journal of Computer & Information Sciences, V1, P171, DOI 10.1007/BF00995737

[9]

BUGGIANI D, 1977, ATTI C ANN ASS ITALI, P447

[10] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .