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