Davie, Anthony J. T.

An introduction to functional programming systems using Haskell. / Anthony J. T. Davie - Cambridge: Cambridge University Press, 1992.. - xiv, 290 p. : ill.; 24 cm. - Cambridge computer science, 27 .

Includes index.

Contents: 1. Introduction; 2. Introduction to functional programs; 3. Techniques and methods; 4. Types; 5. Lambda calculus; 6. Applicative implementation; 7. Lazy evaluation; 8. Implementation of lazy evaluation; 9. Correctness; 10. Applicative program transformation; 11. Parallel evaluation; Bibliography; Appendices; Index.

An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both the rudiments and the finer points of the functional technique. It serves as an introduction both to functional programming and Haskell. Especially valuable are the chapters on programming and implementation, along with a large number of exercises.

0521277248


Functional programming
Haskell (Programming language)

QA76.73.H37.D25