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
Felleisen, Findler, Flatt.
Semantics Engineering with PLT Redex.
MIT Press 2009.
Programming Languages: Applications and Interpretation.
Essentials of Programming Languages (Third edition).
MIT Press 2008.