[boost] Re: Types and Programming Languages

From: Dirk Gerrits (dirk_at_[hidden])
Date: 2003-04-15 13:21:41

David Abrahams wrote:
> 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.
> 

Well they have the book at my university's library, but it's out on 
loan. So I'm afraid I can't help unless they book is returned soon.

Dirk Gerrits