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
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
12 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
10 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
31 Generalizing Generalized Tries – Ralf Hinze - 1999
35 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
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
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
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