[PL-sem-jr] Upcoming Talks

Richard Cobbe cobbe at ccs.neu.edu
Thu Sep 27 11:02:06 EDT 2007


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



More information about the Pl-sem-jr mailing list