PL Seminar, Jr Friday, Oct 27, 2006 1-3pm WVH 164 ==================== Theo Skotiniotis will discuss GADTs & polytypic programming. Upcoming talks: --------------- - 3 Nov: Dale Vaillancourt & Sam Tobin-Hochstadt on nominal logic - 10 Nov: Jesse Tov on the quantum lambda calculus