Scheme: An Interpreter for Extended Lambda Calculus

Scheme: An Interpreter for Extended Lambda Calculus  (1975)  by Gerald Jay Sussman and Guy L. Steele, Jr.

Lambda: The Ultimate Imperative→

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.

• Whole text
  • Abstract
  • Section 1: The SCHEME Reference Manual
  • Section 2: Some SCHEME Programming Examples
  • Section 3: Substitution Semantics and Programming Styles
  • Section 4: Some Implementation Issues
  • Section 5: The Implementation of the Interpreter
  • Acknowledgements
  • Bibliography

This work is licensed under the Creative Commons Attribution 3.0 Unported License. This page must provide all available authorship information.