PLClub Fall 2009 Lunch Schedule
|
Date
|
Speaker | Topic | Other |
| Sep 18 | Daniel | Term Graph Rewriting for the -calculus | Michael bakes |
| Sep 25 | Brian | Non-parametric parametricity | Brent bakes |
| Oct 02 | Peter-Michael | Complete and Decidable Type Inference for GADTs (preview) | NJPLS |
| Oct 09 | Michael | A Theory of Typed Coercions and its Applications | |
| Oct 16 | Peter-Michael | Complete and Decidable Type Inference for GADTs | |
| Oct 23 | Vilhelm | Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant | Brent bakes |
| Oct 30 | Joao Belo | Dependently Sorted Logic | Michael bakes; costumes strongly encouraged |
| Nov 06 | Karl | Inheritance as Implicit Coercion | |
| Nov 13 | Qi Zhang | Resource Usage Analysis | Jianzhou bakes |
| Nov 20 | Brent | ||
| Nov 27 | Tom A. Turkey | Vegetarianism | |
| Dec 04 | Jianzhou | ||
| Dec 11 | |||
| Dec 18 | Aaron | Vilhelm bakes |
| Computer & Information Science School of Engineering and Science University of Pennsylvania |
 |