Constructive foundations for functional languages /
Turner, Raymond,1947-
London : McGraw-Hill,
c1991.
Includes bibliographical references and index.
Functional programming languages.