PL Seminar, Jr 11am - 1pm Friday October 5 WVH 366 =========================== Jesse Tov: Row Types Upcoming talks: -------------- Oct 12: no meeting Oct 19: Dan Brown: Pure Type Systems/The Lambda Cube Oct 26: Christine Hang: Functional Reactive Programming