Lambda Papers
E567332
Lambda Papers is a seminal series of influential papers by computer scientist Guy L. Steele Jr. that helped formalize and popularize the Scheme programming language and key concepts in programming language design.
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf | series of academic papers ⓘ |
| associatedWith |
MIT Artificial Intelligence Laboratory
NERFINISHED
ⓘ
Massachusetts Institute of Technology NERFINISHED ⓘ |
| author | Guy L. Steele Jr. NERFINISHED ⓘ |
| citedBy |
research on Scheme
ⓘ
research on compiler optimization for higher-order languages ⓘ research on functional programming ⓘ |
| field |
computer science
ⓘ
programming language theory ⓘ programming languages ⓘ |
| focusesOnConcept |
compiler optimization
ⓘ
continuations ⓘ denotational semantics ⓘ first-class procedures ⓘ garbage collection ⓘ interpreter design ⓘ lambda calculus ⓘ lexical scoping ⓘ macro systems ⓘ tail-call optimization ⓘ |
| hasCanonicalCollection | online compilation of Guy L. Steele Jr.’s lambda-related papers ⓘ |
| hasPart |
“Anatomy of Lisp”
NERFINISHED
ⓘ
“Compiler Optimization Based on Viewing LAMBDA as RENAME plus GOTO” NERFINISHED ⓘ “Debunking the ‘Expensive Procedure Call’ Myth” NERFINISHED ⓘ “Design of a LISP-based Microprocessor” NERFINISHED ⓘ “Lambda: The Ultimate Declarative” NERFINISHED ⓘ “Lambda: The Ultimate Imperative” NERFINISHED ⓘ “Multiprocessing Compactifying Garbage Collection” NERFINISHED ⓘ “RABBIT: A Compiler for SCHEME” NERFINISHED ⓘ “The Art of the Interpreter” NERFINISHED ⓘ “The Definition and Implementation of a Computer Programming Language Based on Constraints” NERFINISHED ⓘ “The Revised Report on Scheme” NERFINISHED ⓘ |
| helpedFormalize | Scheme programming language NERFINISHED ⓘ |
| helpedPopularize | Scheme programming language ⓘ |
| influenced |
Lisp community
ⓘ
Scheme programming language NERFINISHED ⓘ design of later Scheme standards ⓘ design of other functional languages ⓘ functional programming community ⓘ programming language design ⓘ |
| languageOfWork | English ⓘ |
| mainTopic | Scheme programming language NERFINISHED ⓘ |
| notableFor |
advancing compiler techniques for higher-order languages
ⓘ
bridging theory of lambda calculus and language implementation ⓘ clarifying cost of procedure calls ⓘ rigorous treatment of lambda abstraction in practical programming ⓘ |
| publicationPeriod |
1970s
ⓘ
early 1980s ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.