There will not be a talk tomorrow, 10/12, because of the Columbus day holiday. Upcoming talks are: 10/19 Categories for semantics - Dan 10/26 PLT: modules & macros - Paul 11/2 Flow analysis - Vincent