CS 421: Programming Languages and Compilers

There is no required textbook for this course. Here are some textbooks and readings that may help you:
  • The Objective Caml system Documentation and user's manual by Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier Rémy and Jérôme Vouillon), from the official INRIA website for OCaml.
  • an online book about OCaml from CalTech.
  • Modern Compiler Implementation in ML by Andrew Appel. Published by Cambridge University Press. ISBN 0-521-60764-7 (paperback).
  • 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.
  • Essentials of Programming Languages, 2nd Edition; by Friedman, Wand, and Haynes. Published by MIT Press 2001. ISBN: 0-262-06217-8.
  • 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
  • A nice guide to many of the notations we see in this class: [link]
  • Cardelli's paper on Type Systems [pdf]
  • Mattox's Introduction to Continuations [pdf]
  • Hindley and Seldin's Lambda-Calculus and Combinators, an Introduction [pdf]