Scheme: A Interpreter for Extended Lambda Calculus

Higher-Order and Symbolic Computation

Volumn 11, Issue 4, 1998, Pages 405-439

  Sussman, Gerald Jay ^a   Steele Jr , Guy L ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; LISP (PROGRAMMING LANGUAGE); SYNCHRONIZATION;

EXTENDED LAMBDA CALCULUS; SOFTWARE PACKAGE SCHEME;

PROGRAM INTERPRETERS;

EID: 0032290859     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010035624696     Document Type: Article

References (18)

1. Bobrow, Daniel G. and Wegbreit, Ben. A model and stack implementation of multiple environments. CACM 16, 10, pages 591-603, October 1973.
2. Church, Alonzo. The calculi of lambda conversion. Annals of Mathematics Studies Number 6, Princeton University Press, 1941. Reprinted by Klaus Reprint Corp. (New York), 1965.
3. Dijkstra, Edsger W. Solution of a problem in concurrent programming control. CACM 8,9, page 569, September 1965.
4. Fischer, Michael J. Lambda calculus schemata. In Proceedings of ACM Conference on Proving Assertions about Programs, SIGPLAN Notices, January 1972.
5. Galley, S.W. and Pfister, Greg. The MDL language. In Programming Technology Division Document SYS.11.01. Project MAC, MIT (Cambridge), November 1975.
6. Greif, Irene. Semantics of Communicating Parallel Processes. Ph.D. thesis. Technical Report MAC-TR-154, Project MAC, MIT (Cambridge), September 1975.
7. Greif, Irene and Hewitt, Carl. Actor semantics of Planner-73. Technical Report Working Paper 81, MIT AI Lab (Cambridge), 1975.
8. Ingerman, P.Z. Thunks - a way of compiling procedure statements with some comments on procedure declarations. CACM 4,1, pages 55-58, January 1961.
9. Knuth, Donald E. Additional comments on a problem in concurrent programming control. CACM 9,5, pages 321-322, May 1966.
10. Lamport, Leslie. A new solution of Dijkstra's concurrent programming problem. CACM 17,8, pages 453-455, August 1974.
11. McCarthy, John, et al. LISP 1.5 Programmer's Manual. The MIT Press (Cambridge), 1965.
12. McDermott, Drew V. and Sussman, Gerald Jay. The CONNIVER reference manual. Technical Report AI Memo 295a, MIT AI Lab (Cambridge), January 1974.
13. Moon, David A. MACLISP Reference Manual, Revision 0. Project MAC, MIT (Cambridge), 1974.
14. Moses, Joel. The function of FUNCTION in LISP. Technical Report AI Memo 199, MIT AI Lab (Cambridge), June 1970.
15. Project MAC, MIT. (Cambridge). Project MAC Progress Report XI (July 1973-July 1974), 1974.
16. Reynolds, John C. Definitional interpreters for higher order programming languages. In ACM Conference Proceedings, 1972.
17. Smith, Brian C. and Hewitt, Carl. A PLASMA primer (draft). Technical report, MIT AI Lab (Cambridge), October 1975.
18. Sussman, Gerald Jay, Winograd, Terry and Charniak, Eugene. Micro-PLANNER reference manual. Technical Report AI Memo 203A, MIT AI Lab (Cambridge), December 1971.