The Implementation of Functional Programming Languages

The Implementation of Functional Programming Languages by Simon Peyton Jones is now available for download, about a month after I spent a good half a day photocopying Markus’ copy (mainly for chapter 5). :-) Great book, with the sweetest introduction to the lambda calculus I’ve yet come across in for the bargain. [lambda]