Derivation of Efficient Data Parallel Programs (1993)

Cached

Download Links

by Paul Roe
Venue:In 17th Australasian Computer Science Conference
Citations:6 - 0 self

Documents Related by Co-Citation

145 Parallel Programming Using Skeleton Functions – J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D. W. N. Sharp, Q. Wu, R.L. While - 1993
259 Vector Models for Data-Parallel Computing – Guy E Blelloch - 1990
415 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
41 The Bird-Meertens Formalism as a Parallel Model – D. B. Skillicorn - 1993
58 Algebraic identities for program calculation – R S Bird - 1989
1305 Monads for functional programming – Philip Wadler - 1995
2 Parallelism and the Bird-Meertens formalism. Obtained via ftp from Queens university – David B Skillicorn - 1992
46 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
84 Algebraic Data Types and Program Transformation – G Malcolm - 1990
134 Nesl: A Nested Data-Parallel Language – Guy Blelloch, Parallel Ram Model - 1990
58 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
4 A constructive theory of Multidimensional Arrays – Richard Miller - 1993
17 A categorical approach to the theory of lists – M Spivey - 1989
42 A calculus of functions for program derivation – Richard S Bird - 1990
215 An introduction to the theory of lists – R S Bird - 1987
157 Scans as Primitive Parallel Operations – Guy Blelloch - 1987
35 Models for Practical Parallel Computation – D B Skillicorn - 1991
2 Path expressions as selectors for non-linear text – I A Macleod - 1993
6 Structured Parallel Computation in Structured Documents – D. B. Skillicorn - 1995