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.

Elements of ML Programming, 2nd edition, by Jeffrey D. Ullman, Prentice Hall, 1998.

The Java Programming Language, by Ken Arnold, James Gosling, and David Holmes. 3rd edition, Addison-Wesley, 2000.

Monitors: an operating system structuring concept, by C. A. R. Hoare, Communications of the ACM, Vol. 17, No. 10, October 1974, pp. 549-557.