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 on reserve at the library.

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

The following electronic resources may also be helpful.

• OCaml Tutorials
• Introduction to OCaml by Jason Hickey.
• Practical Foundations for Programming Languages by Robert Harper.
• Programming Languages: Applications and Interpretation by Shriram Krishnamurthy.