A Tutorial on the Universality and Expressiveness of Fold

  title={A Tutorial on the Universality and Expressiveness of Fold},
  author={Graham Hutton},
  journal={J. Funct. Program.},
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 that avoids the need for inductive proofs, and as a definition principle that guides the transformation of recursive functions into definitions using fold. Secondly, we show that even though the… CONTINUE READING
Highly Cited
This paper has 130 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

131 Citations

Citations per Year
Semantic Scholar estimates that this publication has 131 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 40 references

Introduction to metamathematics

  • S. C. Kleene
  • Van Nostrand.
  • 1952
Highly Influential
3 Excerpts

A pragmatic approach to maps and folds for parameterized datatypes

  • Jones, P Mark, Blampied, Paul
  • 1998

Polytypic unification

  • Jansson, Patrick, Jeuring, Johan
  • To appear in the Journal of Functional…
  • 1998

Sept.). Designing and implementing combinator languages

  • Swierstra, S. Doaitse, Alcocer, Pablo R. Azero, Saraiva, Joao
  • Lecture Notes of the 3rd International Summer…
  • 1998
2 Excerpts

Sept.). Generic program transformation

  • de Moor, Oege, Sittampalan, Ganesh
  • Lecture Notes of the 3rd International Summer…
  • 1998

Sept.). Generic programming: An introduction

  • Backhouse, Roland, +5 authors Lambert
  • Lecture Notes of the 3rd International Summer…
  • 1998
1 Excerpt

Apr.). The Haskell language report, version 1.4. Available on the World-Wide-Web from http://www.haskell.org

  • Peterson, John
  • 1997

Similar Papers

Loading similar papers…