ConCert Reading Group - 2007 Archive
Readings from 2007:
- 10 Dec - A Type System For Recursive Modules. Derek Dreyer
- 26 Nov - Principal Type Schemes for Modular Programs. Derek Dreyer and Matthias Blume
- 15 Oct - Inductive reasoning about effectful data types. Andrezj Filinski and Kristian Støvring
- 8 Oct - Extensible Pattern Matching via a Lightweight Language Extension. Don Syme, Gregory Neverov, and James Margetson
- 30 Sep - Programming with Higher-Order Encodings and Dependent Types. Adam Poswolsky and Carsten Schürmann
- 24 Sep - A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language. Adam Chlipala
- 17 Sep - Ott: Effective Tool Support for the Working Semanticist. Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, and Rok Strnisa
- 10 Sep - Compiling with Continuations, Continued. Andrew Kennedy
- 7 Jul - Tangible Functional Programming. Conal Elliot
- 11 Jun - Beauty in the beast. Wouter Swierstra and Thorsten Altenkirch
- 30 Apr - Compiling Comp Ling: Practical Weighted Dynamic Programming and the Dyna Language. Jason Eisner, Eric Goldlust, and Noah A. Smith
- 23 Apr - Martin-Lof's Type Theory as an Open-ended Framework. Yasuyuki Tsukada
- 16 Apr - Importing Mathematics from HOL into Nuprl. Douglas J. Howe
- 9 Apr - RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. Andrej Bauer and Christopher A. Stone
- 5 Mar - A generic proof of strong normalisation for pure type systems. Paul-André Melliès, Benjamin Werner
- 19 Feb - Geometry of Synthesis: A structured approach to VLSI design. D. R. Ghica
- 11 Feb - Lightweight Fusion by Fixed Point Promotion. A. Ohori, I. Sasano
- 5 Feb - Assessing Security Threats of Looping Constructs. Pasquale Malacaria
drl