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

Documents Related by Co-Citation

68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
6 Structured Recursion for Non-uniform Data-types – P Blampied - 2000
17 A generalization of short-cut fusion and its correctness proof – P Johann
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
90 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
474 Categories for the working mathematician – S MacLane - 1998
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
12 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
10 Functional Pearl: Perfect trees and bit-reversal permutations – R Hinze
10 Generalised folds for nested datatypes. Formal Aspects of Computing 11(2 – R Bird, R Paterson - 1999
2 Representing cyclic structures as nested types. Presented at Trends – N Ghani, M Haman, T Uustalu, V Vene - 2006
11 Efficient Generalized Folds – Ralf Hinze - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999