Readings from 2009:

- Nov 9 - Types, Abstraction and Parametric Polymorphism. John C. Reynolds. 1983.
- Oct 14 - Toward A Mathematical Semantics for Computer Languages. Dana Scott and Christopher Strachey. 1971.
- Oct 12 - Definitional interpreters for higher-order programming languages. John C. Reynolds. 1972.
- Oct 7 - On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Per Martin-Löf. 1996.
- Oct 5 - Communicating Sequential Processes. C. A. R. Hoare. 1978.
- Sep 28 - Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. John McCarthy. 1960.
- Sep 23 - The Mechanical Evaluation of Expressions. P. J. Landin. 1964.
- Sep 21 - Investigations into Logical Deduction. Gerhard Gentzen. 1964.
- Sep 16 - The Next 700 Programming Languages. P. J. Landin. 1966.
- Sep 14 - Some Properties of Conversion. Alonzo Church and J. B. Rosser. 1936.
- Sep 9 - An Axiomatic Basis for Computer Programming. C. A. R. Hoare. 1969.