Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms

by Ralf Hinze

Active Bibliography

3 Streaming Representation-Changers – Jeremy Gibbons - 2004
2 Program fusion with paramorphisms – Facundo Domínguez, Alberto Pardo - 2006
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
11 Generic Accumulations – Alberto Pardo - 2002
2 Type Fusion – Ralf Hinze
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
9 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
31 Generalizing Generalized Tries – Ralf Hinze - 1999
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
21 Proof Methods for Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000