The main course page is here; this page is automatically generated from papers tagged with classic-papers-fall09 in the Concertrg CiteULike library.

### Reading List:

- December 31 ()
- An Axiomatic Basis for Computer Programming. C. A. R. Hoare. 1969.
- Some Properties of Conversion. Alonzo Church and J. B. Rosser. 1936.
- The Next 700 Programming Languages. P. J. Landin. 1966.
- Investigations into Logical Deduction. Gerhard Gentzen. 1964.
- The Mechanical Evaluation of Expressions. P. J. Landin. 1964.
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I. John McCarthy. 1960.
- Communicating Sequential Processes. C. A. R. Hoare. 1978.
- On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Per Martin-Löf. 1996.
- Definitional Interpreters for Higher-order Programming Languages. John C. Reynolds. 1972.
- Toward A Mathematical Semantics for Computer Languages. Dana Scott and Christopher Strachey. 1971.
- Types, Abstraction and Parametric Polymorphism. John C. Reynolds. 1983.