TY  - BOOK
AU  - Davie,A.J.T.
TI  - An introduction to functional programming systems using Haskell
T2  - Cambridge Computer Science Texts 
SN  - 0521277248
PY  - 1992///
CY  - Cambridge
PB  -  Cambridge University Press
KW  - HASKELL
KW  - PROGRAMACIÓN FUNCIONAL
KW  - LENGUAJES DE PROGRAMACIÓN
N1  - Incluye índice y bibliografía;  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 -- Appendix A. Predefined Haskell operators -- Appendix B. The Haskell preludes -- Appendix C. Haskell syntax -- Appendix D. Haskell class structure -- Index
ER  -