The Structure of Typed Programming Languages

Ordering information

The MIT Press
55 Hayward St.
Cambridge, MA 02142
(800) 356-0343

The Order no. is SCH1SH
The ISBN no. is 0-262-19349-3

Inquiries can be directed to or check MIT Press's web page for the book.

If ordering from Europe, order from the MIT Press, Fitzroy House, 11 Chenies Street, London WC1E 7ET. There is a softcover edition available in Europe; the ISBN no. is 0-262-69171-X.

See below for

Also, Joergen Steensgaard-Madsen ( at the Danish Technical Institute, Lyngby, has assembled an impressive web site for a course he taught based upon the text.

See Gary Leaven's Teaching About Programming Languages web page for additional information.

Dave Schmidt (