stereochrome

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 citizen428.net; Created at 1:32 on April 7th, 2012 and last modified at 1:43 on April 7th, 2012