CS 510: Reference Materials
Types and Programming Languages, by Benjamin Pierce, MIT press, 2001. (Required and on sale at the campus store.)
Programming Languages: Theory and Practice, by Robert Harper, working draft of June 1, 2001. (Primary reference)
Modern Compiler Implementation in Java, by Andrew W. Appel. Cambridge, 1998.
Concurrent Programming in ML, by John Reppy, Cambridge University Press, 1999.