Readings from 2009:
- Dec 15 - Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem. Kevin Watkins. .
- Dec 1 - On Understanding Data Abstraction, Revisited. William R. Cook. 2009.
- Nov 17 - F-ing modules. Rossberg, Russo, and Dreyer. 2010.
- Nov 5 - A separate compilation extension to standard {ML}. Swasey, Tom Murphy, Crary, and Harper. 2006.
- Oct 27 - Differential Dynamic Logic for Verifying Parametric Hybrid Systems. André Platzer. 2007.
- Oct 20 - Programming with proofs and explicit contexts. Brigitte Pientka and Joshua Dunfield. 2008.
- Oct 13 - Formal Verification of a Realistic Compiler. Xavier Leroy. 2009.
- Oct 6 - Beautiful Differentiation. Conal M. Elliott. 2009.
- Sep 29 - Verifying correct usage of atomic blocks and typestate. Beckman, Bierhoff, and Aldrich. 2008.
- Sep 15 - Modal Types for Mobile Code. Tom Murphy VII. 2008.
- Sep 8 - A judgmental reconstruction of modal logic. Frank Pfenning and Rowan Davies. 2001.
- Sep 1 - Space profiling for parallel functional programs. Spoonhower, Blelloch, Harper, and Gibbons. 2008.
- Aug 25 - Proofs and types. Girard, Taylor, and Lafont. 1989.
- Aug 18 - The "simplest functional programming language" is neither simple nor functional. Elfriede Fehr. 1983.
- Aug 11 - A predicative analysis of structural recursion. Andreas Abel and Thorsten Altenkirch. 2002.
- Jul 28 - Design of the programming language {FORSYTHE}. John C. Reynolds. 1997.
- Jul 14 - Church and Curry: Combining Intrinsic and Extrinsic Typing. Frank Pfenning. 2008.
- Jun 23 - The Next 700 Programming Languages. P. J. Landin. 1966.
- Jun 16 - The Mechanical Evaluation of Expressions. P. J. Landin. 1964.
- Jun 2 - Types, Abstraction and Parametric Polymorphism. John C. Reynolds. 1983.
- May 27 - Representing layered monads. Andrzej Filinski. 1999.
- May 12 - On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Per Martin-Löf. 1996.
- May 5 - Branching vs. Linear Time: Semantical Perspective. Sumit Nain and Moshe Vardi. 2007.
- Apr 14 - Display logic. Nuel Belnap. 1982.
- Mar 24 - {Contraction-Free} Sequent Calculi for Intuitionistic Logic. Roy Dyckhoff. 1992.
- Mar 17 - Proof search in Lax Logic. Jacob M. Howe. 2001.
- Mar 9 - Introduction to linear logic and ludics, part I. Pierre-Louis Curien. 2005.
- Feb 23 - Equality in lazy computation systems. D. Howe. 1989.
- Feb 16 - Syntactic Logical Relations for Polymorphic and Recursive Types. Karl Crary and Robert Harper. 2007.
- Feb 2 - What is a Sorting Function?. Fritz Henglein. 2009.