Generalised Folds for Nested Datatypes (1999)

Cached

Download Links

by Richard Bird , Ross Paterson
Venue:Formal Aspects of Computing
Citations:34 - 1 self

Active Bibliography

79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
31 Generalizing Generalized Tries – Ralf Hinze - 1999
Perfect Trees and Bit-Reversal Permutations – Funct I Onal Pearl, Perfect Trees, Bit-reversal Permutations, Ralf Hinze - 1999
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
28 Polytypic Pattern Matching – Johan Jeuring - 1995
41 Calculate Polytypically! – Lambert Meertens - 1996
21 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms – Ralf Hinze
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão - 2003
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
24 Generic programming with fixed points for mutually – Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring - 2008
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
93 Polytypic programming – Patrik Jansson - 2000