Scheme: A Interpreter for Extended Lambda Calculus

@article{Sussman1998SchemeAI,
  title={Scheme: A Interpreter for Extended Lambda Calculus},
  author={G. Sussman and G. Steele},
  journal={Higher-Order and Symbolic Computation},
  year={1998},
  volume={11},
  pages={405-439}
}
  • G. Sussman, G. Steele
  • Published 1998
  • Computer Science
  • Higher-Order and Symbolic Computation
  • Inspired by ACTORS [7, 17], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [2], but extended for side effects, multiprocessing, and process synchronization. [...] Key Method In the fourth section we will give a general discussion of the issues facing an implementor of an interpreter for a language based on lambda calculus. Finally, we will present a completely annotated interpreter for SCHEME, written in MacLISP [13], to acquaint programmers with the tricks of…Expand Abstract
    Revised5 Report on the Algorithmic Language Scheme
    • 560
    • Open Access
    Types and programming languages
    • 2,330
    • Open Access
    Revised5 Report on the Algorithmic Language Scheme
    • 455
    • Open Access
    Revised5 report on the algorithmic language scheme
    • 216
    • Open Access
    A Foundation for Actor Computation
    • 501
    • Highly Influenced
    • Open Access
    Lazy evaluation and delimited control
    • 34
    • Open Access
    The Evolution of Lisp
    • 38
    An operational semantics for Scheme
    • 12
    • Open Access

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 35 REFERENCES
    Definitional interpreters for higher-order programming languages
    • 724
    • Open Access
    LISP 1.5 Programmer's Manual
    • 596
    • Open Access
    Lambda calculus schemata
    • 132
    • Open Access
    A model and stack implementation of multiple environments
    • 163
    Semantics of communicating parallel processes
    • 83
    • Open Access
    Actor semantics of PLANNER-73
    • 54
    Thunks: a way of compiling procedure statements with some comments on procedure declarations
    • 82
    • Open Access
    The calculi of lambda-conversion
    • 1,060
    • Highly Influential
    Solution of a problem in concurrent programming control
    • 678
    • Open Access
    A new solution of Dijkstra's concurrent programming problem
    • 523
    • Open Access