Disciplined, Efficient, Generalised Folds for Nested Datatypes (2002)

Cached

Download Links

by Clare Martin , Jeremy Gibbons , Ian Bayley
Venue:Information Processing Letters
Citations:4 - 0 self

Active Bibliography

4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
24 Manufacturing Datatypes – Ralf Hinze - 1999
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
7 Fixed points of type constructors and primitive recursion – Andreas Abel, Ralph Matthes - 2004
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
31 Generalizing Generalized Tries – Ralf Hinze - 1999
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
22 Foundations for structured programming with GADTs – Patricia Johann - 2008
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
5 Numerical Representations as Higher-Order Nested Datatypes – Ralf Hinze - 1998
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
3 TerraHS: Integration of Functional Programming and Spatial Databases for GIS Application Development – Sérgio Souza Costa, Gilberto Câmara, Danilo Palomo - 2006
14 Dependently Typed Data Structures – Hongwei Xi - 1999