All Outputs (2)

When is a function a fold or an unfold? (2001)
Presentation / Conference Contribution
Gibbons, J., Hutton, G., & Altenkirch, T. (2001). When is a function a fold or an unfold?.

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... Read More about When is a function a fold or an unfold?.

Representations of first order function types as terminal coalgebras (2001)
Presentation / Conference Contribution
Altenkirch, T. (2001). Representations of first order function types as terminal coalgebras.