01387nam a22002177a 4500 20210414114708.0 120425t xxu||||| |||| 00| 0 eng d 0521277248 QA76.73.H37.D25 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. Functional programming Haskell (Programming language) lcc BK 7505 15005 0 0 lcc 0 0 WIUC-KL WIUC-KL GEN 2019-11-15 STM QA76.73.H37.D25 K/2422/2422/19 2020-07-17 00:00:00 2020-07-17 BK