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