Time:  Mon/Wed 12:001:20 
Room:  4615A Wean Hall 
Instructor:  Karl Crary 
Teaching Assistant:  Rob Simmons 
Office Hours 

Crary:  TBD Wean 8127 
Simmons:  23:30pm Friday Wean 8112 
Final Exam The final exam will be a take home exam that will be available starting the first day of finals period (more details to follow). 

Course Schedule & Homeworks 
The course studies the theory of type systems, with a focus on applications of type systems to practical programming languages. The emphasis is on the mathematical foundations underlying type systems and operational semantics. The course includes a broad survey of the components that make up existing type systems, and also teaches the methodology behind the design of new type systems.
Benjamin C. Pierce, Types and Programming Languages , MIT Press, 2002. 
Robert Harper, Practical Foundations for Programming Languages , Working draft, Fall, 2006. 
Benjamin C. Pierce, ed., Advanced Topics in Types and Programming Languages , MIT Press, 2005. 
If you don't have the LaTeX proof or code packages, now you do. See the LaTeX page for further tips. 
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction , MIT Press, 1996. 
John C. Reynolds, Theories of Programming Languages , Cambridge University Press, 1998. 
John C. Mitchell, Foundations for Programming Languages , MIT Press, 1996. 