Lambda the Ultimate Papers were written by Gerald Jay Sussman and Guy Steele Jr. in 1975-1978, questioning the then current practices in programming language implementations. The focus was on showing that programming languages can be implemented efficiently without constraining the programmers by arbitrary rules, and discussing implementation strategies for Scheme.
There is a community weblog called Lambda the Ultimate[1] after the title of these papers. The community is dedicated to discussing theoretical aspects of programming languages at the highest level[2], and over time it has compiled a wide archive of links to the most relevant scientific papers, articles, news and projects in the subject.
List of papers
- 1975: Scheme: An Interpreter for Extended Lambda Calculus
- 1976: Lambda: The Ultimate Imperative
- 1976: Lambda: The Ultimate Declarative
- 1977: Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO
- 1978: The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two)
- 1978: RABBIT: A Compiler for SCHEME
- 1979: Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode
- 1980: Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO
- 1980: Design of a Lisp-based Processor
External links
- Online version of the Lambda Papers (PDF format)
No comments have been added.
