Generic Downwards Accumulations (2000)

Cached

Download Links

by Jeremy Gibbons
Venue:Science of Computer Programming
Citations:22 - 4 self

Documents Related by Co-Citation

302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
105 Data structures and program transformation – G Malcolm - 1990
215 Introduction to Functional Programming using Haskell, 2nd edition – R Bird - 1998
97 and Order in Algorithmics – Law - 1992
402 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
12 Generic Accumulations – Alberto Pardo - 2002
96 de Moor, O.: Algebras of Programming – R Bird - 1996
28 Upwards and downwards accumulations on trees – J Gibbons - 1993
88 The promotion and accumulation strategies in transformational programming – Richard S Bird - 1984
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
88 Algebra of programming – R Bird, O de Moor - 1997
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
112 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
13 PolyLib — a polytypic function library – Patrik Jansson, Johan Jeuring - 1998
32 Generic Programs and Proofs – Ralf Hinze - 2000
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
25 Generic views on data types – Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez - 2006