ConCert Reading Group - 2004 Archive
Readings from 2004:
- 6 December - Relational Parametricity and Units of Measure. Andrew J. Kennedy
- 1 November - Wobbly types: type inference for generalised algebraic data types. Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich
- 25 October - Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. Steven E. Ganz, Amr Sabry, and Walid Taha
- 18 October - Macros that Compose: Systematic Macro Programming. Oleg Kiselyov; An Advanced Syntax-Rules Primer for the Mildly Insane. Al Petrovsky
- 11 October - FreshML: Programming with Binders Made Simple. Mark R. Shinwell, Andrew M. Pitts, and Murdoch J. Gabbay
- 27 September - Go To Statement Considered Harmful. Edsger W. Dijkstra
- 20 September - Destructors, Finalizers, and Synchronization. Hans-J. Boehm
- 13 September - An Indexed Model of Recursive Types for foundational Proof Carrying Code. Andrew Appel and David McAllester
- 16 August - Subtyping is not a good "Match" for object-oriented languages. Kim B. Bruce, Adrian Fiech, and Leaf Petersen
- 10 August - A Bisimulation for Type Abstraction and Recursion. Eijiro Sumii and Benjamin C. Pierce
- 2 August - Associated types with class. Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones, and Simon Marlow
- 26 July - On the meaning of logical rules I: syntax vs. semantics. Jean-Yves Girard
- 19 July - A computational analysis of Girard's translation and LC. Chetan R. Murthy
- 5 July - Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism. Geoffrey Washburn and Stephanie Weirich
- 21 June - A type-theoretical alternative to ISWIM, CUCH, OWHY. Dana Scott
- 14 June - Theorems for free! Philip Wadler
- 1 June - Parametric Polymorphism and Operational Equivalence. Andrew M. Pitts
- 17 May - Syntactic Type Abstraction. Dan Grossman, Greg Morrisett, and Steve Zdancewic
- 3 May - A Sound (and Complete) Model for Contract Types. Matthias Blume and David McAllester
- 26 April - Contracts for Higher-Order Functions. Robert Bruce Findler and Matthias Felleisen
- 19 April - Checking interference with fractional permissions. John Boyland
- 5 April - Alias Types for Recursive Data Structures. David Walker and Greg Morrisett
- 29 March - A Symmetric Modal Lambda Calculus for Distributed Computing.Tom Murphy VII, Karl Crary, Robert Harper, and Frank Pfenning
- 22 March - Fully Reflexive Intensional Type Analysis. Valery Trifonov, Bratin Saha, and Zhong Shao
- 15 March - Flexible Type Analysis. Karl Crary and Stephanie Weirich
- 8 March - An Analysis of Girard's Paradox. Thierry Coquand
- 1 March - A theory of aspects. David Walker, Steve Zdancewic, and Jay Ligatti
- 23 February - Partial polymorphic type inference and higher-order unification. Frank Pfenning
- 16 February - MLF: raising ML to the power of System F. Didier Le Botlan and Didier Remy
spoons