- Programming Languages: An Interpreter-based
Approach by Samuel N. Kamin. Addison-Wesley, 1990.
- Essentials of
Programming Languages, 2nd Edition; by Friedman, Wand,
and Haynes. Published by MIT Press 2001. ISBN: 0-262-06217-8.
- Compilers: Principles, Techniques, and Tools,
also known as "The Dragon Book"; by Aho, Sethi, and Ullman.
Published by Addison-Wesley. ISBN: 0-201-10088-6.
- Modern Compiler Implementation in ML by Andrew
W. Appel, Cambridge University Press 1998
- Advanced Programming Language Design, by Raphael A.
Finkel. Addison Wesley Publishing Company, 1996.
- Programming Language Pragmatics, by Michael L. Scott.
Morgan Kaufman Publishers, 2000.
- Concepts, Techniques, and Models of Computer
Programming Peter Van Roy and Seif Haridi, MIT Press,
2004 ISBN 0-262-22069-5
- Cardelli's paper on Type Systems [pdf]
- Mattox's Introduction to Continuations [pdf] (We won't be covering continuations this semester, but this is still an interesting read.)
|