TY  - BOOK
AU  - Davie, Anthony J. T. 
TI  - An introduction to functional programming systems using Haskell.
SN  - 0521277248
AV  - QA76.73.H37.D25 
PY  - 1992///
CY  - Cambridge: 
PB  - Cambridge University Press, 
KW  - Functional programming
KW  - Haskell (Programming language)
N1  - 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
N2  - 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
ER  -