Readings from 2007:
- Dec 10 - A type system for recursive modules. Derek Dreyer. 2007.
- Nov 26 - Principal Type Schemes for Modular Programs. Derek Dreyer and Matthias Blume. 2007.
- Oct 15 - Inductive reasoning about effectful data types. Andrzej Filinski and Kristian Stovring. 2007.
- Oct 8 - Extensible pattern matching via a lightweight language extension. Syme, Neverov, and Margetson. 2007.
- Sep 30 - Practical Programming with {Higher-Order} Encodings and Dependent Types. Adam Poswolsky and Carsten Schürmann. 2008.
- Sep 24 - A certified type-preserving compiler from lambda calculus to assembly language. Adam Chlipala. 2007.
- Sep 17 - Ott: effective tool support for the working semanticist. Sewell, Nardelli, Owens, et al. 2007.
- Sep 10 - Compiling with continuations, continued. Andrew Kennedy. 2007.
- Jul 7 - Tangible functional programming. Conal M. Elliott. 2007.
- Jun 11 - Beauty in the beast. Wouter Swierstra and Thorsten Altenkirch. 2007.
- Apr 30 - Compiling Comp Ling: practical weighted dynamic programming and the Dyna language. Eisner, Goldlust, and Smith. 2005.
- Apr 16 - Importing mathematics from {HOL} into Nuprl. Douglas Howe. 1996.
- Apr 9 - {RZ}: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Andrej Bauer and Christopher A. Stone. 2009.
- Mar 5 - A generic normalisation proof for pure type systems. Paul-André Melliès and Benjamin Werner. 1998.
- Feb 19 - Geometry of synthesis: a structured approach to {VLSI} design. Dan R. Ghica. 2007.
- Feb 11 - Lightweight Fusion by Fixed Point Promotion. Atsushi Ohori and Isao Sasano. 2007.
- Feb 5 - Assessing security threats of looping constructs. Pasquale Malacaria. 2007.