PL Seminar Jr will not meet this week. Upcoming Talks -------------- 10/19: no meeting due to my thesis proposal 10/26: Dan Brown: Pure Type Systems/The Lambda Cube 11/2: Aaron Turon: logic programming