|Room:||4615A Wean Hall|
|Teaching Assistant:||Rob Simmons|
|Crary:||TBD Wean 8127|
|Simmons:||2-3:30pm Friday Wean 8112|
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.|