Functional programming & lambda calculus [
| Main Authors: | , |
|---|---|
| Format: | Electronic Book |
| Language: | English |
| Published: |
New York :
College Publishing House ,
2012
|
| Subjects: | |
| Online Access: | College Publishing House |
Table of Contents:
- 1. Table of contents
- 2. Introduction to functional programming
- 3. First-class function and purely functional
- 4. Referential transparency (computer science) and continuation-passing style
- 5. Anamorphism and evaluation strategy
- 6. Recursion (computer science)
- 7. Introduction to lambda calculus
- 8. Church encoding
- 9. Fixed point combinator
- 10. Binary lambda calculus
- 11. Anonymous function
- 12. Apply and director string
- 13. Explicit substitution and lambda lifting
- 14. Normalisation by evaluation and SKI combinator calculus