As far as I can tell, this is becoming the standard text on modern type systems, and it does deserve it. Lots of proof for those who like that kind of thing, and quite readable (if you skip those bits) if you don't. From my undergrad course, I thought I had a pretty good understanding of complex type systems, having used ML quite a bit, but this book reveals far more. Great stuff.
Posted 2004-09-28.