This volume investigates the state of functional programming and computer architecture research as of 1989. The Association for Computing Machinery compiles these proceedings to document the technical advancements and theoretical frameworks presented at the fourth international conference held at Imperial College, London. The text serves as a primary record of the discourse surrounding language design, implementation strategies, and hardware support for functional paradigms during a pivotal era in computer science.

Experts view this volume as a foundational historical record for the development of functional programming languages. Researchers frequently cite these proceedings to understand the evolution of language design and the architectural challenges faced by early functional systems.