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]
|