Readings from 2008:
- Oct 27 - Classical Fω, orthogonality and symmetric candidates. S. Lengrand and A. Miquel. 2008.
- Oct 6 - Call-by-name, call-by-value and the λ-calculus. G. Plotkin. 1975.
- Sep 29 - Definitional interpreters for higher-order programming languages. John C. Reynolds. 1972.
- Aug 24 - Total Functional Programming. D. A. Turner. 2004.
- Aug 18 - From Axioms to Analytic Rules in Nonclassical Logics. Ciabattoni, Galatos, and Terui. 2008.
- Jun 18 - General Structural Operational Semantics through Categorical Logic. Sam Staton. 2008.
- May 12 - Structural Logical Relations. Carsten Schürmann and J. Sarnat. 2008.
- Apr 7 - Combining Generic Judgments with Recursive Definitions. Gacek, Miller, and Nadathur. 2008.
- Mar 24 - Finally Tagless, Partially Evaluated Programming Languages and Systems. Carette, Kiselyov, Shan, et al. 2007.
- Feb 25 - Focusing and higher-order abstract syntax. Noam Zeilberger. 2008.
- Feb 18 - Engineering formal metatheory. Aydemir, Charguéraud, Pierce, et al. 2008.
- Feb 11 - Clowns to the left of me, jokers to the right (pearl): dissecting data structures. Conor Mcbride. 2008.