Jeremy Gibbons  @ NUS Home/Search
Context Related
| web.comlab.ox.ac.uk...metamorphisms.pdf Cached: PS.gz PS PDF Image Update Help From: web.comlab.ox.ac.uk/oucl/work/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Unfolds generate data structures, and folds consume them. (Update)
Cited by: More
Metamorphisms: Streaming Representation-Changers - Gibbons (2005) (Correct)
Active bibliography (related documents): More All
3.6: Streaming Representation-Changers - Gibbons (2004) (Correct)
1.7: Streaming Algorithms (Extended Abstract) - Gibbons (Correct)
0.5: Recursion Patterns as Hylomorphisms - Cunha (2003) (Correct)
Similar documents based on text: More All
0.6: Disciplined, Efficient, Generalised Folds for Nested Datatypes - Martin, Gibbons, Bayley (2002) (Correct)
0.6: Deriving Tidy Drawings of Trees - Gibbons (1995) (Correct)
0.5: Polytypic Downwards Accumulations - Gibbons (1998) (Correct)
BibTeX entry: (Update)
J. Gibbons, Streaming representation-changers, in: D. Kozen (Ed.), Mathematics of Program Construction, Vol. 3125 of Lecture Notes in Computer Science, 2004, pp. 142--168. http://citeseer.comp.nus.edu.sg/676675.html More
@misc{ gibbons04streaming,
author = "J. Gibbons",
title = "Streaming representation-changers",
text = "J. Gibbons, Streaming representation-changers, in: D. Kozen (Ed.), Mathematics
of Program Construction, Vol. 3125 of Lecture Notes in Computer Science,
2004, pp. 142--168.",
year = "2004",
url = "citeseer.comp.nus.edu.sg/676675.html" }
Citations (may not include all citations):554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
344 Arithmetic coding for data compression (context) - Witten, Neal et al. - 1987
333 An Introduction to Functional Programming (context) - Bird, Wadler - 1988
324 Deforestation: Transforming programs to eliminate trees - Wadler - 1990
206 Why functional programming matters - Hughes - 1989
184 Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
108 Introduction to Functional Programming Using Haskell (context) - Bird - 1998
104 Science of Computer Programming (context) - Malcolm, program - 1990
104 The Algebra of Programming (context) - Bird, de Moor - 1996
97 Computer Journal (context) - Hoare - 1962
67 Formal Aspects of Computing (context) - Meertens - 1992
61 Principles of Program Design (context) - Jackson - 1975
52 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
39 A typed lambda calculus with categorical type constructors (context) - Hagino
37 Mongruences and cofree coalgebras - Jacobs - 1995
29 The Haskell 98 Language and Libraries: The Revised Report (context) - Jones - 2003
28 Research Topics in Functional Programming (context) - Turner - 1990
25 The under-appreciated unfold - Gibbons, Jones - 1998
24 Virtual data structures - Swierstra, de Moor - 1993
15 Functional programming with apomorphisms (context) - Vene, Uustalu - 1998
12 Available as Technical Monograph PRG (context) - Gibbons, Tree et al. - 1991
12 Polytypic downwards accumulations - Gibbons - 1998
12 Calculating functional programs - Gibbons - 2002
10 Exact Real Arithmetic using Mobius Transformations (context) - Potts - 1998
9 Arithmetic coding with folds and unfolds - Bird, Gibbons - 2003
9 Exact real arithmetic with continued fractions (context) - Vuillemin - 1990
8 Origami programming (context) - Gibbons - 2003
8 Continued fraction arithmetic (context) - Gosper - 1981
7 Sorting morphisms - Augusteijn - 1998
7 The many disguises of accumulation - Boiten - 1991
6 Generic downwards accumulations - Gibbons - 2000
6 Back to basics: Deriving representation changers functionall.. - Hutton, Meijer - 1996
5 Arbitrary precision arithmetic using continued fractions (context) - Jones - 1984
5 Generic accumulations - Pardo - 2002
4 Proof methods for corecursive programs - Gibbons, Hutton - 2004
4 American Mathematical Monthly (context) - Rabinowitz, Wagon et al. - 1995
4 An unbounded spigot algorithm for the digits - Gibbons - 2003
3 ective continued fractions (context) - Lester - 2001
3 Vuillemin's exact real arithmetic (context) - Lester - 1991
Documents on the same site (http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/): 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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.