ConCert Reading Group - 2008 Archive
Readings from 2008:
- 27 Oct - Fω, orthogonality and symmetric candidates. Stephanie Lengrand and Alexandre Miquel
- 6 Oct - Call-By-Name, Call-By-Value and the Lambda Calculus. Gordon D. Plotkin
- 29 Sep - Definitional Interpreters for Higher-Order Programming Languages. John C. Reynolds
- 24 Aug - Total Functional Programming. D. A. Turner
- 18 Aug - From axioms to analytic rules in nonclassical logics. A. Ciabattoni, N. Galatos, and K. Terui
- 18 Jun - General Structural Operational Semantics through Categorical Logic. Sam Staton
- 12 May - Structural Logical Relations. Jeffrey Sarnat, Carsten Schürmann
- 7 Apr - Combining generic judgments with recursive definitions. Andrew Gacek, Dale Miller, Gopalan Nadathur
- 24 Mar - Finally Tagless, Partially Evaluated. Jacques Carette, Oleg Kiselyov, and Chung-chieh Shan
- 25 Feb - Focusing and Higher-Order Abstract Syntax. Noam Zeilberger
- 18 Feb - Engineering Formal Metatheory. Brian Aydemir, Arthur Chargueraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich
- 11 Feb - Clowns to the left of me, jokers to the right (pearl): dissecting data structures. Conor McBride
rjsimmon