Functional programming / Anthony J. Field and Peter G. Harrison.
Material type:
- 0201192497
- 005.114 23 F453
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 005.114 F453 (Browse shelf(Opens below)) | Available | C26404 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
005.114 B618 Introduction to functional programming / | 005.114 D221 Functional programming and its applications : an advanced course | 005.114 D254 Introduction to functional programming systems using haskell / | 005.114 F453 Functional programming / | 005.114 G662 Functional programming and input/output | 005.114 H888 Logical foundations of functional programming / | 005.114 L372 Functional programming,concurrency,simulation and automated reasoning |
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.
There are no comments on this title.