ConCert Reading Group - concertrg
What? concertrg is a weekly discussion of selected papers from the programming languages research community.
Who? The reading group is organized by students affiliated with the ConCert project, but any interested students are welcome to join us.
When and where? Mondays at 5:00 pm in NSH 3001
A mailing list for the group is maintained by Rob Simmons. Send him mail if you would like to subscribe. There is also a short document describing the format of our discussions.
Recent readings:
- 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
Previous readings:
Useful links:
spoons