CS152, Spring 2011 Lack of Textbook

There is no required textbook for the course. In most cases, the class materials should suffice. The instructor will try to provide written lecture notes where helpful. If there are particular lectures where you feel this would be helpful, or if aspects of the notes or slides could be improved, please let him know.

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.

Books

• Types and Programming Languages by Benjamin C. Pierce, MIT Press, 2002. Available on reserve at the library. Overlaps the most with the course, but less so in the first three weeks.
• The Formal Semantics of Programming Languages by Glynn Winskel, MIT Press, 1993. Available on reserve at the library. Overlaps more with the beginning of the course, but takes a more mathematical take on some of the basics than we will bother with.
• 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.
• Programming Languages: Application and Interpretation by Shriram Krishnamurthi. Available on the author's website: http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/.

Lecture Notes, Lectures, etc. From Similar Courses

• Your instructor has taught a variant of a shorter version of this course for full-time software professionals in which all the lectures were captured including writing on the slides, etc. Get the audio/video here.
• Last year's CS152 web-site is still available and contains lecture notes.