All Topics  
Lambda Papers

 

   Email Print
   Bookmark   Link






 

Lambda Papers



 
 
Lambda the Ultimate Papers were written by Gerald Jay Sussman
Gerald Jay Sussman

Gerald Jay Sussman is the Panasonic Professor of Electrical engineering at the Massachusetts Institute of Technology . He received his Bachelor of Science and Doctor of Philosophy degrees in mathematics from MIT in 1968 and 1973 respectively....
 and Guy Steele Jr. in 1975-1978, questioning the then current practices in programming language
Programming language

A programming language is a machine-readable artificial language designed to express computations that can be performed by a machine, particularly a computer....
 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
Blog

A blog is a type of website, usually maintained by an individual with regular entries of commentary, descriptions of events, or other material such as graphics or video....
 called Lambda the Ultimate after the title of these papers.






Discussion
Ask a question about 'Lambda Papers'
Start a new discussion about 'Lambda Papers'
Answer questions from other users
Full Discussion Forum



Encyclopedia


Lambda the Ultimate Papers were written by Gerald Jay Sussman
Gerald Jay Sussman

Gerald Jay Sussman is the Panasonic Professor of Electrical engineering at the Massachusetts Institute of Technology . He received his Bachelor of Science and Doctor of Philosophy degrees in mathematics from MIT in 1968 and 1973 respectively....
 and Guy Steele Jr. in 1975-1978, questioning the then current practices in programming language
Programming language

A programming language is a machine-readable artificial language designed to express computations that can be performed by a machine, particularly a computer....
 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
Blog

A blog is a type of website, usually maintained by an individual with regular entries of commentary, descriptions of events, or other material such as graphics or video....
 called Lambda the Ultimate after the title of these papers. The community is dedicated to discussing theoretical aspects of programming languages
Programming language theory

Programming language theory is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual Programming language#Elements....
 at the highest level, 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

  • (PDF format)