The course does not rely on a text book because the instructors are researchers in programming languages and have their own vision of the field. It is imperative for PhD students, however, to read at least one text book in parallel so that they see a different perspective. Otherwise they can't function in a research teaching world. In this spirit, we require one text book from another local researcher; we recommend the draft of a text book from an almost-local researcher; we specify the chapters of a freshman book on programming that you must understand to follow the course; and we will add other hints on reading as the semester progresses.
Required Text: Friedman, Wand, and Haynes. Essentials of Programming Languages. MIT Press. 2001. Second edition. --- Also see Wand's lecture notes for last year's version of this course.
Recommended Text: Krishnamurthi. Programming Languages: Applications and Interpretation. MIT Press. 2006. Current version available on-line.
What you should know: Felleisen, Findler, Flatt, Krishnamurthi. How to Design Programs. MIT Press. 2001. --- Parts I-IV and VI are essential for understanding the programs in this course and for completing the homework projects.
If you want to get serious: Felleisen and Flatt. Programming Languages and Lambda Calculi. Unpublished manuscript. 1989-2005.
|last updated on Tue Jun 9 22:21:18 EDT 2009||generated with PLT Scheme|