Readings from 2006:
- Dec 11 - Abstract Predicates and Mutable {ADTs} in Hoare Type Theory. Nanevski, Ahmed, Morrisett, and Birkedal. 2007.
- Nov 13 - Transactional events. Kevin Donnelly and Matthew Fluet. 2006.
- Oct 23 - Relational Reasoning for Recursive Types and References. Nina Bohr and Lars Birkedal. 2006.
- Oct 16 - A very modal model of a modern, major, general type system. Appel, Melliès, Richards, and Vouillon. 2007.
- Oct 2 - The missing link: dynamic components for {ML}. Andreas Rossberg. 2006.
- Sep 25 - Extensible programming with first-class cases. Blume, Acar, and Chae. 2006.
- Aug 28 - A logic for parametric polymorphism. Gordon Plotkin and Mart\'{\i}n Abadi. 1993.
- Aug 8 - Monadic concurrent linear logic programming. López, Pfenning, Polakow, and Watkins. 2005.
- Jul 11 - Logic Programming with Focusing Proofs in Linear Logic. jean-Marc Andreoli. 1992.
- Jun 19 - Specifying distributed trust management in {LolliMon}. Jeff Polakow and Christian Skalka. 2006.
- Jun 5 - Stratified type inference for generalized algebraic data types. François Pottier and Yann R. Gianas. 2006.
- May 29 - Jumbo {λ-Calculus}. Paul Levy. 2006.
- May 22 - An Applicative {Control-Flow} Graph Based on Huet's Zipper. Norman Ramsey and Jo {.} Dias. 2006.
- May 1 - An Overview of the Singularity Project. Hunt, Larus, Abadi, et al. 2005.
- Apr 24 - Modular type classes. Dreyer, Harper, Chakravarty, and Keller. 2007.
- Apr 17 - Monadic regions. Matthew Fluet and Greg Morrisett. 2004.
- Apr 3 - Frame rules from answer types for code pointers. Hayo Thielecke. 2006.
- Mar 6 - A polymorphic modal type system for lisp-like multi-staged languages. Kim, Yi, and Calcagno. 2006.
- Feb 27 - The next 700 data description languages. Fisher, Mandelbaum, and Walker. 2006.
- Feb 20 - Harmless advice. Daniel S. Dantas and David Walker. 2006.
- Feb 13 - Fast and loose reasoning is morally correct. Danielsson, Hughes, Jansson, and Gibbons. 2006.
- Feb 6 - Formal certification of a compiler back-end or: programming a compiler with a proof assistant. Xavier Leroy. 2006.
- Jan 30 - Institutions: abstract model theory for specification and programming. Joseph A. Goguen and Rod M. Burstall. 1992.
- Jan 23 - A Tutorial on ({Co)Algebras} and ({Co)Induction}. Bart Jacobs and Jan Rutten. 1997.