@book{peytonjones1987the,
author = {Peyton Jones, Simon},
title = {The Implementation of Functional Programming Languages},
year = {1987},
month = {April},
abstract = {“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, incuding detailed coverage of pattern-matching and type-checking. The second part begins with a simple implementation of the lambda calculus, based on graph reduction, and then develops a number of refinements and alternatives. The third part describes the G-machine, a sophisticated implementation of graph reduction, which provides a dramatic increase in performance over the implementations described earlier.},
publisher = {Prentice Hall Internaltional (UK) Ltd.},
url = {http://approjects.co.za/?big=en-us/research/publication/the-implementation-of-functional-programming-languages-2/},
note = {Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury},
}