The book emphasizes the design of full-fledged, fully normalizing lambda calculus
machinery, as opposed to the just weakly normalizing machines.

The book emphasizes the design of full-fledged, fully normalizing lambda calculus
machinery, as opposed to the just weakly normalizing machines.

This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996.
The 15 thoroughly revised full papers presented were selected after a second round of reviewing from the 26 contributions accepted for presentation at the workshop. Also included is an overview by the volume editor. The volume addresses various implementational issues of functional languages including parallel implementations, language concepts and design, type systems, interpretation and compilation techniques, automatic program generation, concurrent processing, machine architectures, runtime profiling and application programming.