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