Readings from 2004:
- Dec 6 - Relational parametricity and units of measure. Andrew J. Kennedy. 1997.
- Oct 25 - Macros as multi-stage computations: type-safe, generative, binding macros in {MacroML}. Ganz, Sabry, and Taha. 2001.
- Oct 18 - Macros That Compose: Systematic Macro Programming. Oleg Kiselyov. 2002.
- Oct 18 - An Advanced {Syntax-Rules} Primer for the Mildly Insane. Al Petrovsky. 2002.
- Oct 11 - {FreshML}: programming with binders made simple. Shinwell, Pitts, and Gabbay. 2003.
- Sep 27 - Letters to the editor: go to statement considered harmful. Edsger W. Dijkstra. 1968.
- Sep 20 - Destructors, finalizers, and synchronization. Hans J. Boehm. 2003.
- Sep 13 - An indexed model of recursive types for foundational proof-carrying code. Andrew W. Appel and David Mcallester. 2001.
- Aug 16 - Subtyping is not a good ” match” for object-oriented languages. Bruce, Petersen, and Fiech. 1997.
- Aug 10 - A bisimulation for type abstraction and recursion. Eijiro Sumii and Benjamin C. Pierce. 2005.
- Aug 2 - Associated types with class. Chakravarty, Keller, Jones, and Marlow. 2005.
- Jul 19 - A computational analysis of Girard's translation and {LC}. C. R. Murthy. 1992.
- Jul 5 - Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Geoffrey Washburn and Stephanie Weirich. 2003.
- Jun 21 - A type-theoretical alternative to {ISWIM}, {CUCH}, {OWHY}. Dana S. Scott. 1993.
- Jun 14 - Theorems for free!. Philip Wadler. 1989.
- Jun 1 - Parametric polymorphism and operational equivalence. Andrew M. Pitts. 2000.
- May 17 - Syntactic type abstraction. Grossman, Morrisett, and Zdancewic. 2000.
- Apr 26 - Contracts for higher-order functions. Robert B. Findler and Matthias Felleisen. 2002.
- Apr 19 - Checking Interference with Fractional Permissions. John Boyland. 2003.
- Apr 5 - Alias Types for Recursive Data Structures. David Walker and J. Gregory Morrisett. 2001.
- Mar 29 - A Symmetric Modal Lambda Calculus for Distributed Computing. Murphy VII, Crary, Harper, and Pfenning. 2004.
- Mar 22 - Fully reflexive intensional type analysis. Trifonov, Saha, and Shao. 2000.
- Mar 15 - Flexible type analysis. Karl Crary and Stephanie Weirich. 1999.
- Mar 8 - An Analysis of Girard's Paradox. Thierry Coquand. 1986.
- Mar 1 - A theory of aspects. Walker, Zdancewic, and Ligatti. 2003.
- Feb 23 - Partial polymorphic type inference and higher-order unification. Frank Pfenning. 1988.
- Feb 16 - {ML}<{sup>F}: raising {ML} to the power of system F. Didier Le Botlan and Didier Rémy. 2003.