PLClub Summer 2009 Lunch Schedule
|
Date
|
Speaker | Topic | Other |
| May 22 | Guest speaker: Andy Gordon | Principles and Applications of Refinement Types | |
| May 29 | Chris | Arity-generic programming | Michael bakes |
| Jun 05 | Limin | Non-Interference for a Practical DIFC-Based Operating System | Brent bakes |
| Jun 12 | Peter Michael | Specifying C++ Concepts | |
| Jun 19 | Brent | Dependent pattern matching | Jeff bakes |
| Jun 26 | Stephanie | Dependent Types and Program Equivalence | Limin bakes |
| Jul 03 | Amigo review for POPL, la primera parte | Chris bakes | |
| Jul 10 | Amigo review for POPL, parte dos | ||
| Jul 17 | Aaron | On the Expressive Power of Programming Languages | |
| Jul 24 | Aaron | Continued. | Courtesy of Dave Walker |
| Jul 31 | Vilhelm | A very modal model of a modern, major, general type system | |
| Aug 07 | Jianzhou | Parametric Polymorphism Through Run-Time Sealing, or, Theorems for Low, Low Prices! | Michael bakes |
| Aug 14 | Qi Zhang | A Linear Language with Locations | |
| Aug 21 | Benjamin | Lambda, the Ultimate TA | |
| Aug 28 | Julien and Davi | Boomerang | |
| Sep 04 | Michael | Dynamic Typing: Syntax and Proof Theory |
| Computer & Information Science School of Engineering and Science University of Pennsylvania |
 |