Resources

There is no required textbook. The material covered in this course will be described in notes which will be distributed in lecture and posted to the course website. The following texts are available at the library.

• Concepts in Programming Languages by John C. Mitchell, Cambridge University Press, 2003.
• The Formal Semantics of Programming Languages by Glynn Winskel, MIT Press, 1993.
• Types and Programming Languages by Benjamin C. Pierce, MIT Press, 2002. [eBook]