Robert Harper. Programming Languages: Theory and Practice (working draft, May 2002)
A book draft, based on lecture notes Robert Harper used at CMU, and Andrew Appel used at Princeton University.
The book covers all the usual topics (inductive defintions, concrete and abstract syntax, substitution, type systems, continuations, etc.) Of interest may be the discussion of cost semantics, strict semantics in lazy languages, and the detailed discussion of subtyping.
Most of the book talks about pure languages, and uses MinML.
The presentation is a bit more formal than in most introductory textbooks, and many important ideas are presented and proved as theorems.
Posted to MiscBooks by Ehud Lamm on 5/30/02; 12:49:07 PM

