Compiling Functional Languages

An attempt to describe a number of different ways of implementing functional programming languages which bear a strong family resemblance to one another and which all have their origins in the work of Turner on combinator-based graph-reducers. The book is aimed at those involved in the principles of functional languages or in language translation. But it is also aimed at logicians, both mathematical and philosophical, because of the solid logical foundations of functional languages and their compilers. The author uses Lispkit Lisp because its compilation and the execution of the resulting object code are easy to understand.