Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis




xiv, 602 p. : ill. ; 24 cm. - (International computer science series ) Content notes : 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.

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter