An Introduction to Functional Programming Systems Using Haskell / Cambridge Computer Science Texts - Cambridge University Press, 1992 - 290

An introduction to functional programming and its associated systems. Preface, Introduction, Introduction to Functional Programs, Techniques and Methods, Types, Lambda Calculus, Applicative Implementation, Lazy Evaluation, Implementation of Lazy Evaluation, Correctness, Applicative Program Transformation, Parallel Evaluation, Bibliography, Index.

521277248