E-Book: The Implementation of Functional Programming Languages (by S. Peyton Jones)

research.microsoft.com