Resources
Text books
A number of excellent books and on-line resources overlap with the course's content and can provide alternate explanations despite differences in notation and approach. Let the instructor know if you have trouble finding the intersection between these resources and the course content.
- "Types and Programming Languages" by Benjamin C. Pierce, MIT Press, 2002.
Available on reserve at the library. - "Practical Foundations for Programming Languages" by Robert Harper, Cambridge University Press, 2013.
Draft available on Harper's website. - "Concepts in Programming Languages" by John C. Mitchell, Cambridge University Press, 2003.
Available online through Harvard University Libraries eContent Collection. To view on a Mac, follow these instructions. - "The Formal Semantics of Programming Languages" by Glynn Winskel, MIT Press, 1993.
Available on reserve at the library. - "Programming Languages: Application and Interpretation" by Shriram Krishnamurthi.
Available on the author's website: http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/.
OCaml resources
See the CS 51 Resources web page for OCaml books, references, and tutorials.
The following documentation may be useful as you work on your assignments.