The Under-Appreciated Unfold (1998) [38 citations — 9 self]
http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbon
ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Jeremy Gibbons and Geraint Jones},
title = {The Under-Appreciated Unfold},
booktitle = {In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming},
year = {1998},
pages = {273--279},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
Folds are appreciated by functional programmers. Their dual, unfolds, are not new, but they are not nearly as well appreciated. We believe they deserve better. To illustrate, we present (indeed, we calculate) a number of algorithms for computing the breadth-first traversal of a tree. We specify breadth-first traversal in terms of level-order traversal, which we characterize first as a fold. The presentation as a fold is simple, but it is inefficient, and removing the inefficiency makes it no longer a fold. We calculate a characterization as an unfold from the characterization as a fold; this unfold is equally clear, but more efficient. We also calculate a characterization of breadth-first traversal directly as an unfold; this turns out to be the `standard' queue-based algorithm.
