PLClub Spring 2008 Lunch Schedule
|
Date
|
Speaker | Topic | Other |
| Jan 18 | Social | ||
| Jan 25 | Michael | On the Design and Implementation of Typed Scheme | |
| Feb 01 | Damien | Environmental Bisimulations for Higher-Order Languages | |
| Feb 08 | Frances Perry (Princeton) | Reasoning about Software in the Presence of Transient Faults | |
| Feb 15 | Aaron, Benjamin, Damien | A Security Model for Web Browsers | |
| Feb 22 | Peng | Semantics of Transactional Memory and Automatic Mutual Exclusion | |
| Feb 29 | Admitted Students Visit | ||
| Mar 07 | NJPLS | ||
| Mar 14 | Spring Break | ||
| Mar 21 | Brian | Focusing and higher-order abstract syntax | |
| Mar 28 | ICFP Amigo Review | ||
| Apr 04 | Jianzhou | System F in Coq | |
| Apr 11 | Jeff | Call-by-value is dual to call-by-name | |
| Apr 18 | Limin | Hoare Type Theory, Polymorphism and Separation | |
| Apr 25 | Steve | Type Checking with Open Type Functions | |
| May 02 | Karl | Down with the bureaucracy of syntax! Pattern matching for classical linear logic | |
| May 09 | Dimitris | A type directed translation of MLF to System F |
| Computer & Information Science School of Engineering and Science University of Pennsylvania |
 |