ConCert Reading Group - 2006 Archive
Readings from 2006:
- 11 Dec - Abstract Predicates and Mutable ADTs in Hoare Type Theory. Nanevski, Ahmed, Morrisett, Birkedal
- 13 Nov - Transactional Events. Matthew Fluet and Kevin Donnelly
- 23 Oct - Relational Reasoning With Recursive Types and References. Lars Birkedal and Nina Bohr
- 16 Oct - A Very Modal Model of a Modern, Major, General Type System. Andrew W. Appel, Paul-Andre Mellies, Christopher D. Richards, and Jerome Vouillon
- 2 Oct - The Missing Link -- Dynamic Components for ML. Andreas Rossberg
- 25 Sep - Extensible Programming with First-Class Cases. Matthias Blume, Umut A. Acar, and Wonseok Chae
- 18 Sep - Higher-Order Patterns. Barry Jay
- 11 Sep - Operational semantics and models of Linear Abadi & Plotkin Logic. Lars Birkedal, Rasmus Peterson, Rasmus Mogelberg, and Carsten Varming
- 28 Aug - A Logic for Parametric Polymorphism. Gordon Plotkin and Martin Abadi
- 8 Aug - Monadic concurrent linear logic programming. Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins
- 11 Jul - Logic Programming with Focusing Proofs in Linear Logic. Jean-Marc Andreoli
- 9 Jun - Specifying Distributed Trust Management in LolliMon. Jeff Polakow and Christian Skalka
- 5 Jun - Stratified type inference for generalized algebraic data types. Francois Pottier and Yann Regis-Gianas
- 29 May - Jumbo Connectives In Logic And Type Theory. Paul Levy
- 22 May - An applicative control-flow graph based on Huet's zipper. Norman Ramsey and Joao Dias
- 1 May - An Overview of the Singularity Project. David Tarditi et al.
- 24 Apr - Modular Type Classes. Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller
- 17 Apr - Monadic Regions. Matthew Fluet and Greg Morrisett
- 3 Apr - Frame Rules from Answer Types for Code Pointers. Hayo Thielecke
- 6 Mar - A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages. Ik-Soon Kim, Kwangkeun Yi, and Cristiano Calcagno
- 27 Feb - The Next 700 Data Description Languages. Kathleen Fisher, Yitzhak Mandelbaum, and David Walker
- 20 Feb - Harmless Advice. Daniel S. Dantas and David Walker
- 13 Feb - Fast and Loose Reasoning is Morally Correct. Nils Anders Danielsson, John Hughes, Patrick Janssen, and Jeremy Gibbons
- 6 Feb - Formal certification of a compiler back-end / or: programming a compiler with a proof assistant. Xavier Leroy
- 30 Jan - Institutions: Abstract model theory for specification and programming. Joseph Goguen and Rod Burstall
- 23 Jan - A Tutorial on (Co)Algebras and (Co)Induction. Bart Jacobs and Jan Rutten
drl