The Optimal Implementation of Functional Programming Languages

First account of the subject by two of its leading exponents. Essentially self-contained.