Jeremy Gibbons  Home/Search
Context Related
| web.comlab.ox.ac.uk/oucl...polyda.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: web.comlab.ox.ac.uk/oucl/...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary polynomial datatype; our generalization proceeds via the notion of a path in such a datatype. (Update)
Cited by: More
Streaming Representation-Changers - Gibbons (2004) (Correct)
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (Correct)
Similar documents (at the sentence level):
8.2%: Generic Downwards Accumulations - Gibbons (2000) (Correct)
Active bibliography (related documents): More All
0.5: The Under-Appreciated Unfold - Gibbons, Jones (1998) (Correct)
0.2: Systematic Derivation of Tree Contraction Algorithms - Matsuzaki, Hu, Kakehi.. (Correct)
0.2: Parallel Implementation of Tree Skeletons - Skillicorn (1995) (Correct)
Similar documents based on text: More All
1.2: Computing Downwards Accumulations on Trees Quickly - Gibbons (1995) (Correct)
0.5: Streaming Algorithms (Extended Abstract) - Gibbons (Correct)
0.5: Generic Accumulations - Pardo (2002) (Correct)
Related documents from co-citation: More All
10: Science of Computer Programming (context) - Malcolm, program - 1990
9: Formal Aspects of Computing (context) - Meertens - 1992
7: Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
BibTeX entry: (Update)
Jeremy Gibbons. Polytypic downwards accumulations. In Johan Jeuring, editor, LNCS 1422: Proceedings of Mathematics of Program Construction, Marstrand, Sweden, June 1998. Springer-Verlag. http://citeseer.ist.psu.edu/gibbons98polytypic.html More
@incollection{ gibbons98polytypic,
author = "Jeremy Gibbons",
title = "Polytypic Downward Accumulations",
booktitle = "Proceedings 4th Int.\ Conf.\ on Mathematics of Program Construction, {MPC}'98, Marstrand, Sweden, 15--17 June 1998",
volume = "1422",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "J. Jeuring",
pages = "207--233",
year = "1998",
url = "citeseer.ist.psu.edu/gibbons98polytypic.html" }
Citations (may not include all citations):324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990
172 An introduction to the theory of lists (context) - Bird - 1987
104 Science of Computer Programming (context) - Malcolm, program - 1990
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
81 The promotion and accumulation strategies in transformationa.. (context) - Bird - 1985
61 Polytypic programming - Jeuring, Jansson - 1996
47 Continuation-based program transformation strategies (context) - Wand - 1980
34 Generic functional programming with types and relations (context) - Bird, de Moor et al. - 1996
12 Available as Technical Monograph PRG (context) - Gibbons, Tree et al. - 1991
11 A Generic Theory of Datatypes (context) - Hoogendijk - 1997
10 Improving recursive functions by inverting the order of eval.. (context) - Boiten - 1992
7 A class of commuting relators - Backhouse, Doornbos et al. - 1992
5 Views of Formal Program Development (context) - Boiten - 1992
4 Structured parallel computation in structured documents - Skillicorn - 1997
3 Earlier version appears as Technical Report No (context) - Gibbons, drawings et al. - 1996
1 Also available as Technical Report CS-R (context) - Meertens, Aspects et al. - 1992
1 Against the grain: Linear-time breadth-first tree algorithms (context) - Gibbons, Jones - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/index.html): More
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Bridging the Algorithm Gap: A Linear-time Functional Program .. - de Moor, Gibbons (1999) (Correct)
Dotted and Dashed Lines in METAFONT - Gibbons (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC