Virtual Data Structures (1992)

Cached

Download Links

by D. Swierstra , D. Swierstra , O. De Moor , O. De Moor
Venue:Formal Program Development, Lecture Notes in Computer Science 755
Citations:14 - 3 self

Documents Related by Co-Citation

1305 Monads for functional programming – Philip Wadler - 1995
399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
68 Foundations of Parallel Programming – D Skillicorn - 1994
24 Applications of a strategy for designing divide-and-conquer algorithms – D R Smith - 1987
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
41 Parallel Programming with List Homomorphisms, Parallel Processing Letters 5 – M Cole - 1995
73 Attribute Grammars as a Functional Programming Paradigm – Thomas Johnsson - 1987
78 Using circular programs to eliminate multiple traversals of data – R S Bird - 1984
26 Systematic Efficient Parallelization of Scan and Other List Homomorphisms – Sergei Gorlatch - 1996
13 Calculating Recurrences Using the Bird-Meertens Formalism – W Cai, D Skillicorn - 1992
4 et al. Introduction to Parallel Computing – V Kumar - 1994
58 Algebraic identities for program calculation – R S Bird - 1989
160 More Programming Pearls – Jon Bentley - 1988
1005 Using MPI: Portable Parallel Programming with the Message-Passing Interface – William Gropp, Ewing Lusk, Anthony Skjellum - 1994
105 Data structures and program transformation – G Malcolm - 1990
55 Algorithmic skeletons: a structured approach to the management of parallel computation – M I Cole - 1988
83 Scalable Computing – W F McColl - 1996
7 Generating Incremental Evaluators – Maarten Pennings - 1994
2 Functional programming with bananas, lenses and barbed wire – Erik Meyer, Maarten Fokkinga, Ross Patterson - 1991