The course will rely on one text book but PhD students should learn to
read texts on their own in case they must work on something not quite
familiar but in their area---that's the essence of a PhD program. Hence
the course comes with two recommended text books that present an
introduction to the principles of programming languages from a different
perspective.
Required Text:
Felleisen, Findler, Flatt.
Semantics Engineering with PLT Redex.
MIT Press 2009.
Recommended Texts:
Krishnamurthi.
Programming Languages: Applications and Interpretation.
Friedman, Wand.
Essentials of Programming Languages (Third edition).
MIT Press 2008.