Readings from 2012:

- Dec 11 - Intuitionistic completeness of first-order logic. Robert Constable and Mark Bickford. 2013.
- Nov 13 - A Revolution in Mathematics? What really happened a century ago and why it matters today. Frank Quinn. 2012.
- Oct 30 - Semantics of Types for Mutable State. Amal Ahmed. 2004.
- Oct 23 - Superficially Substructural Types. Krishnaswami, Turon, Dreyer, and Garg. 2012.
- Oct 16 - Theorems for Free!. Philip Wadler. 1989.
- Sep 25 - Logical Frameworks — A Brief Introduction. Frank Pfenning. 2002.
- Sep 4 - Representing Monads. Andrzej Filinski. 1994.
- Aug 21 - Dependent type theory of stateful higher-order functions. Aleksandar Nanevski and Greg Morrisett. 2006.
- Aug 14 - A {Semi-Functional} Implementation of a {Higher-Order} Logic Programming Language. Conal Elliott and Frank Pfenning. 1991.
- Jul 17 - The F\# asynchronous programming model. Syme, Petricek, and Lomov. 2011.
- Jul 10 - Relating Reasoning Methodologies in Linear Logic and Process Algebra. Deng, Cervesato, and Simmons. 2012.
- Jun 26 - Transporting functions across ornaments. Pierre E. Dagand and Conor McBride. 2012.
- Jun 5 - Physics, Topology, Logic and Computation: A Rosetta Stone. J. Baez and M. Stay. 2011.
- May 1 - The gentle art of levitation. Chapman, Dagand, McBride, and Morris. 2010.
- Apr 10 - A type theory for probability density functions. Bhat, Agarwal, Vuduc, and Gray. 2012.
- Mar 20 - Canonicity for 2-dimensional type theory. Daniel R. Licata and Robert Harper. 2012.
- Mar 13 - From B\"{o}hm's Theorem to Observational Equivalences. Mariangiola Dezani-Ciancaglini and Elio Giovannetti. 2001.
- Feb 21 - Information effects. Roshan P. James and Amr Sabry. 2012.
- Feb 7 - Towards concurrent type theory. Caires, Pfenning, and Toninho. 2012.
- Jan 31 - Containers: Constructing strictly positive types. Abbott, Altenkirch, and Ghani. 2005.
- Jan 17 - Edit lenses. Hofmann, Pierce, and Wagner. 2012.