From the Publisher
This book gives a practical approach to understanding the implementations of non-strict functional languages using lazy graph reduction. The emphasis of the book is on building working prototypes of several functional language implementations (template- instantiation, G-Machine, TIM, parallel G-Machine. In each case the authors provide a complete working prototype of a particular implementation, and then lead the reader through a sequence of improvements which expand its scope. This enables readers to develop, modify and experiment with their own implementations and for use as a source of practical laboratory work material.