000			01387nam a22002177a 4500
005			20210414114708.0
008			120425t xxu||||| |||| 00| 0 eng d
020			_a0521277248
050			_aQA76.73.H37.D25
100			_aDavie, Anthony J. T.
245			_aAn introduction to functional programming systems using Haskell. / _cAnthony J. T. Davie
260			_aCambridge: _bCambridge University Press, _c1992..
300			_axiv, 290 p. : _bill.; _c24 cm.
440			_aCambridge computer science, _n27
500			_aIncludes index.
505			_aContents: 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.
520			_aAn 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.
650			_aFunctional programming
650			_aHaskell (Programming language)
942			_2lcc _cBK
999			_c7505 _d15005