[boost] Types and Programming Languages

From: David Abrahams (dave_at_[hidden])
Date: 2003-04-15 09:49:10

While I was in Oxford I happened to pick up a copy of this book at
Blackwell's (the greatest bookstore in all of England):
http://www.cis.upenn.edu/~bcpierce/tapl/

It seemed like a beautifully understandable tour of type theory and
its application in real programming languages.  It even had a section
on Jeremy's latest obsession: existential types.  Does anyone else
have experience with this book?  I'm planning to buy it unless
someone can tell me that they know of a better one.

-- 
Dave Abrahams
Boost Consulting
www.boost-consulting.com