On and off, I've tended to read quite a bit. So, I thought I'd put up some reviews of books as I read them. In time, I may go back and add reviews of some of the books I read in the past. Not massively exciting, but I suppose it may be of interest to someone, somewhere (perhaps).
Types and Programming Languages - Benjamin Pierce
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.
Permalink. Posted 22:42, Tue, 28 Sep 2004.
There is also a complete index of the books.
Mail me at random.user@arbitrary.name.