Principles of functional programming. (English) Zbl 0649.68002

Englewood Cliffs, N.J. etc.: Prentice/Hall International. XI, 251 p. (1984).
This clearly written monograph gives a comprehensive introduction to functional programming. It covers most aspects of the topic: theoretical foundations, implementation considerations, existing functional programming languages and systems. It can serve as a textbook for courses on functional programming very well. Part 1 introduces a programming methodology for functional programming and a simple functional language, SUGAR. Part 2 presents the theoretical foundations (among them lambda-calculus, denotational semantics) of functional programming and discusses several implementation strategies (among them interpretation, the SECD machine, the SK-reduction machine). Part 3 surveys various functional languages that are available, taking a detailed look at LISP and discussing some more advanced features of recent languages (among them complex data structuring operators in KRC and HOPE, complex function-forming operators in FP systems).
Reviewer: M.Gogola


68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N01 General topics in the theory of software
03B40 Combinatory logic and lambda calculus