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 Daniel Lee. Send him mail if you would like to subscribe. There is also a short document describing the format of our discussions.

Recent readings:

• 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:

• 2007
• 2006
• 2005
• 2004

Useful links:

• CMU VPN (a.k.a. proxy) Server