Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.

Ralf Hinze, Nicolas Wu, Jeremy Gibbons

Browse the full POPL paper archive.