[PL-sem-jr] Upcoming talks

Richard Cobbe cobbe at ccs.neu.edu
Thu Oct 19 14:47:29 EDT 2006


PL Seminar, Jr
Friday, Oct 20
1-3pm WVH 164
==============
Alec Heller will present on synthetic topology.

Upcoming Talks:
  10/27: Theo Skotiniotis on GADTs & polytypic programming
  11/3: Sam Tobin-Hochstadt & Dale Vaillancourt on nominal logic
  11/10: Jesse Tov on the quantum lambda calculus



More information about the Pl-sem-jr mailing list