Scheme: An Interpreter for Extended Lambda Calculus

From Wikisource
Jump to navigation Jump to search
 
Scheme: An Interpreter for Extended Lambda Calculus  (1975) 
by Gerald Jay Sussman and Guy L. Steele, Jr.
→

AI Memo 349, the first of the Lambda Papers.

This paper gave the original definition and implementation of the Scheme programming language, a Lisp dialect with full lexical closure based on the lambda calculus, and demonstrated how it can be used to reason about the semantics of tail recursive iteration and continuation-passing style.

This work is licensed under the Creative Commons Attribution 3.0 Unported License.

This page must provide all available authorship information.

 
Retrieved from "https://en.wikisource.org/w/index.php?title=Scheme:_An_Interpreter_for_Extended_Lambda_Calculus&oldid=11488514"