Scheme: An Interpreter for Extended Lambda Calculus
E456004
"Scheme: An Interpreter for Extended Lambda Calculus" is the seminal 1975 technical report by Gerald Jay Sussman and Guy L. Steele Jr. that introduced the Scheme programming language and demonstrated the power of lexical scoping and first-class procedures in a minimalist Lisp dialect.
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
computer science publication
ⓘ
programming languages paper ⓘ technical report ⓘ |
| affiliatedProject | MIT AI Lab Scheme project NERFINISHED ⓘ |
| affiliatedWith | MIT Artificial Intelligence Laboratory NERFINISHED ⓘ |
| author |
Gerald Jay Sussman
NERFINISHED
ⓘ
Guy L. Steele Jr. NERFINISHED ⓘ |
| basedOn |
Lisp
NERFINISHED
ⓘ
lambda calculus NERFINISHED ⓘ |
| coAuthor |
Gerald Jay Sussman
NERFINISHED
ⓘ
Guy L. Steele Jr. NERFINISHED ⓘ |
| demonstrates |
power of first-class procedures
ⓘ
power of lexical scoping ⓘ use of continuations in interpreters ⓘ |
| describes | Scheme programming language NERFINISHED ⓘ |
| field |
computer science
ⓘ
lambda calculus ⓘ programming languages ⓘ |
| genre | technical report ⓘ |
| hasSubject |
control structures in interpreters
ⓘ
environment models of evaluation ⓘ procedures as first-class objects ⓘ |
| influenced |
Scheme standardization efforts
ⓘ
design of minimalist programming languages ⓘ research in functional programming ⓘ |
| institution | Massachusetts Institute of Technology NERFINISHED ⓘ |
| introduced | Scheme programming language NERFINISHED ⓘ |
| language | English ⓘ |
| notableFor |
formalizing first-class procedures in a Lisp dialect
ⓘ
introducing Scheme as a lexically scoped Lisp ⓘ seminal contribution to programming language theory ⓘ |
| placeOfOrigin | Cambridge, Massachusetts NERFINISHED ⓘ |
| publicationType | MIT AI Lab technical report NERFINISHED ⓘ |
| publicationYear | 1975 ⓘ |
| relatedTo |
Lisp programming language
NERFINISHED
ⓘ
The Revised Report on Scheme NERFINISHED ⓘ lambda calculus in programming language design ⓘ |
| title | Scheme: An Interpreter for Extended Lambda Calculus NERFINISHED ⓘ |
| topic |
Lisp dialects
ⓘ
first-class procedures ⓘ interpreter implementation ⓘ lambda calculus ⓘ lexical scoping ⓘ minimalist language design ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.