Course
Theory of Programming Language, Graduate Course, Fall 2007, Yu Zhang. An inspiring course about theorectical foundations of programming languages.
Reading Group
The reading group meets weekly to discuss topics in programming languages. The topics vary pretty broadly, and we're open to suggestion.