Davie, Anthony J. T. creator text xxu Cambridge Cambridge University Press 1992 monographic eng

print

xiv, 290 p. : ill.; 24 cm. 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. 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. Anthony J. T. Davie Includes index. Functional programming Haskell (Programming language) QA76.73.H37.D25 27 0521277248 120425 20210414114708.0