UC Santa Cruz

January 13
- The Essence of Functional Programming, Philip Wadler, POPL 1992.
January 27
- The Essence of Functional Programming; Part 2: experience report
February 3
- The Mechanical Evaluation of Expressions, Peter Landin, The Computer Journal, 1964.
  - Introduces the SECD machine for running functional programs.
  - For some context: A Rational Deconstruction of Landin's SECD Machine, Olivier Danvy, 2003.
February 17
- The Next 700 Programming Languages, Peter Landin, CACM 1966.
Some papers on the stack
- Call-by-name, call-by-value and the λ-calculus, Gordon Plotkin, Theoretical Computer Science 1975.
- Definitional interpreters for higher-order programming languages, John Reynolds, 1972
- On the relation between direct and continuation semantics, John Reynolds, 1974
- Continuations: A Mathematical Semantics for Handling Full Jumps, Christopher Strachey and Christopher Wadsworth, 1974.
- Hints for Programming Language Design, Tony Hoare, 1974.
- Computational lambda-calculus and monads, Eugenio Moggi, 1989.
- Meta-object protocols
- Info flow and concurrency
- Higher-order abstract syntax
- Program slicing
- More from Benjamin Pierce's collections
- On Flow-Sensitive Types