Readings from 2005:

- Dec 5 - Coinductive big-step operational semantics. Xavier Leroy and Hervé Grall. 2009.
- Nov 21 - What are principal typings and what are they good for?. Trevor Jim. 1996.
- Nov 14 - A compositional natural semantics and Hoare logic for low-level languages. Ando Saabas and Tarmo Uustalu. 2007.
- Nov 7 - A Proof of the {Church-Rosser} Theorem and its Representation in a Logical Framework. Frank Pfenning. 1992.
- Oct 24 - Combinators for {Bi-Directional} Tree Transformations: A Linguistic Approach to the View Update Problem. Foster, Greenwald, Moore, et al. 2005.
- Oct 17 - A logical analysis of aliasing in imperative higher-order functions. Martin Berge, Kohei Hond, and Nobuko Yoshid. 2007.
- Oct 10 - Contextual modal type theory. Nanevski, Pfenning, and Pientka. 2008.
- Oct 3 - Choice in Dynamic Linking. Abadi, Gonthier, and Werner. 2004.
- Sep 26 - Computational Types from a Logical Perspective. Benton, Bierman, and De Paiva. 1998.
- Sep 19 - A judgmental reconstruction of modal logic. Frank Pfenning and Rowan Davies. 2001.
- Sep 12 - On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Per Martin-Löf. 1996.
- Aug 22 - Explicit substitutions. Abadi, Cardelli, Curien, and Lévy. 1991.
- Aug 15 - Notions of computation and monads. Eugenio Moggi. 1991.
- Aug 8 - An expressive language of signatures. Ramsey, Fisher, and Govereau. 2005.
- Aug 1 - An Explicit Substitution Notation in a {lambdaProlog} Implementation. Gopalan Nadathur. 1998.
- Jul 18 - Flexible type analysis. Karl Crary and Stephanie Weirich. 1999.
- Jul 11 - {TypeCase}: a design pattern for type-indexed functions. Bruno C. Oliveira and Jeremy Gibbons. 2005.
- Jun 20 - Intensional polymorphism in type-erasure semantics. Crary, Weirich, and Morrisett. 2002.
- Jun 13 - Compiling polymorphism using intensional type analysis. Robert Harper and Greg Morrisett. 1995.
- May 30 - Mismatch. Alessio Guglielmi. 2003.
- May 23 - The geometry of interaction machine. Ian Mackie. 1995.
- May 2 - Composable Memory Transactions. Harris, Marlow, Jones, and Herlihy. 2005.
- Apr 25 - Why Dependent Types Matter. Altenkirch, Mcbride, and Mckinna. 2005.
- Apr 18 - The {Girardâ€“Reynolds} isomorphism (second edition). Philip Wadler. 2007.
- Apr 11 - Types, Abstraction and Parametric Polymorphism. John C. Reynolds. 1983.
- Apr 4 - From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple. Harry Mairson. 2002.
- Mar 21 - Definitional interpreters for higher-order programming languages. John C. Reynolds. 1972.
- Mar 7 - A Logical Algorithm for {ML} Type Inference. David Mcallester. 2003.
- Feb 28 - A Unified Theory of Garbage Collection. Bacon, Cheng, and Rajan. 2004.
- Feb 14 - The implementation of newsqueak. R. Pike. 1990.
- Feb 7 - The reflexive {CHAM} and the join-calculus. Cédric Fournet and Georges Gonthier. 1996.
- Jan 24 - Existential Types for Imperative Languages. Dan Grossman. 2002.