A Tutorial on the Universality and Expressiveness of Fold
In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the universal property of fold both as a proof principle...
| Main Author: | |
|---|---|
| Format: | Article |
| Published: |
Cambridge University Press
1999
|
| Online Access: | https://eprints.nottingham.ac.uk/224/ |