The Implementation of Functional Programming Languages
research.microsoft.com