PL Sem Jr WVH 366 Friday Sept 28 11am-1pm ----------------------- Alec Heller will discuss parametricity. Upcoming talks: --------------- 5 Oct: Jesse Tov: row types 12 Oct: no meeting 19 Oct: Dan Brown: Pure Type Systems and the Lambda Cube