Algebras for tree algorithms

Bananas in space: extending fold and unfold to exponential types

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Models and languages for parallel computation

ACM Computing Surveys (CSUR)

The under-appreciated unfold

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

Metamorphisms: Streaming representation-changers

Science of Computer Programming

Program calculation in coq

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology