TY  - BOOK
AU  - Field,Anthony J.
AU  - Harrison,Peter G.
TI  - Functional programming
T2  - International computer science series
SN  - 0201192497 
U1  - 005.114 23
PY  - 1988///
CY  - Wokingham, England
PB  - Addison-Wesley
KW  - Functional programming (Computer science)
N1  - Includes bibliographical references and index; 1. Introducing functions--
2. An introduction to functional programming through Hope--
3. Higher-order functions--
4. Evaluation modes--
5. Alternative functional styles--
6. Mathematical foundations: the lambda calculus--
7. Type inference systems and type checking--
8. Intermediate forms--
9. Interpretation techniques--
10. Stack-based implementations- the SECD machine--
11. An introduction to graph reduction--
12. Combinator reduction--
13. Advanced combinator implementations--
14. Dataflow implementations--
15. Compiling functional languages--
16. Garbage collection--
17. Program transformation and the operational approach--
18. Algebraic program transformation--
19. Memoization--
20. Abstract interpretation--
Appendices--
Bibliography--
Index
ER  -