Type Theory and Functional Programming by Simon Thompson

Yet another book currently out-of-print but freely available in electronic form. More writers (or, more to the point, publishers) should do this kind of thing. It makes things better.

Via; Created at 2:32 UTC on April 7th, 2012 and last modified at 2:43 UTC on April 7th, 2012