Welcome to E-Books Directory
This is a freely downloadable e-book.

The Implementation of Functional Programming Languages

The Implementation of Functional Programming Languages
by Simon Peyton Jones

Publisher: Prentice Hall 1987
ISBN/ASIN: 013453333X
ISBN-13: 9780134533339
Number of pages: 500

This book is about implementations, not languages, it will make no attempt to extol the virtues of functional languages or the functional programming style. Instead this book will assume that the reader is familiar with functional programming; those without this familiarity may find it heavy going. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, including 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, such as supercombinators, full laziness and SK combinators. Finally, 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.

Home page url

 Download or read it online here:

Download link