Skip to main content

Research Repository

See what's under the surface

Advanced Search

When is a function a fold or an unfold?

Gibbons, Jeremy; Hutton, Graham; Altenkirch, Thorsten

Authors

Jeremy Gibbons

Thorsten Altenkirch



Abstract

We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, practically useful, and generic in the underlying datatype.

Publication Date May 1, 2001
Peer Reviewed Peer Reviewed
Volume 44.1
Series Title Electronic Notes in Theoretical Computer Science
APA6 Citation Gibbons, J., Hutton, G., & Altenkirch, T. (2001). When is a function a fold or an unfold?
Publisher URL http://www.sciencedirect.com/science/article/pii/S157106610480906X
Copyright Statement Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0
Additional Information Published in Electronic Notes in Theoretical Computer Science, 44(1), May 2001, 146-160, doi: 10.1016/S1571-0661(04)80906-X

Files

when.pdf (221 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0





You might also like



Downloadable Citations

;