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

1224 Introduction to functional programming – Philip Wadler - 1995
375 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
65 Foundations of Parallel Programming – D Skillicorn - 1994
23 Applications of a strategy for designing divide-and-conquer algorithms – D R Smith - 1987
274 Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
34 Parallel Programming with List Homomorphisms – M Cole - 1995
71 Attribute Grammars as a Functional Programming Paradigm – Thomas Johnsson - 1987
73 Using circular programs to eliminate multiple traversals of data – R S Bird - 1984
25 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
56 Algebraic identities for program calculation – R S Bird - 1989
4 et al. Introduction to Parallel Computing – V Kumar - 1994
151 Programming Pearls – J Bentley - 1986
893 Using MPI – Portable Parallel Programming with message-passing Interface, Second edition – Gropp William, Ewing Lusk, Anthony skjellum - 1999
101 Data Structures and Program Transformation – G Malcolm - 1990
54 Algorithmic Skeletons: A Structured Approach to the Management of Parallel Computation – M Cole - 1988
81 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