Types and Programming Languages, by Benjamin C. Pierce

The MIT Press
Massachusetts Institute of Technology
Cambridge, Massachusetts 02142
http://mitpress.mit.edu
ISBN 0-262-16209-1

• http://www.cis.upenn.edu/~bcpierce/tapl/