Generic Downwards Accumulations (2000)

Cached

Download Links

by Jeremy Gibbons
Venue:Science of Computer Programming
Citations:19 - 3 self

Active Bibliography

84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
6 Deriving Tidy Drawings of Trees – Jeremy Gibbons, Jeremy Gibbons - 1995
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
4 PolyLib - a library of polytypic functions – Patrik Jansson, Johan Jeuring - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
5 Parametric Datatype-Genericity – Jeremy Gibbons, Ross Paterson
15 When Do Datatypes Commute? – Paul Hoogendijk, Roland Backhouse - 1997
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
10 Generic Accumulations – Alberto Pardo - 2002
1 List Homomorphism with Accumulation – Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi - 2003
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
1 Polytypic Recursion Patterns – L. S. Barbosa, J. B. Barros, J. J. Almeida - 2000
3 Streaming Representation-Changers – Jeremy Gibbons - 2004
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999