A tutorial on the universality and expressiveness of fold
目次。
- Introduction
- The fold operator
- The universal property of fold
- Universality as a proof principle
- The fusion property of fold
- Universality as a definition principle
- Increasing the power of fold: generating tuples
- Primitive recursion
- Using fold to generate functions
- The foldl operator
- Ackermann's function
- Other work on recursion operators
- Acknowledgements