PL Seminar, Jr Fri, Sept 30 1-3pm WVH 164 (note change of room from last semester!) ============= David van Horn will discuss kCFA implementation strategies. Upcoming talks: 10/6: no meeting (NEPLS) 10/13: open 10/20: Alec Heller: Synthetic Topology 10/27: Theo Skotiniotis: GADTs & polytypic programming