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 DataParallel Computing
– Guy E Blelloch
 1990

415

Algorithmic Skeletons: Structured Management of Parallel Computation
– M Cole
 1989

41

The BirdMeertens 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 BirdMeertens 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 DataParallel 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 nonlinear text
– I A Macleod
 1993

6

Structured Parallel Computation in Structured Documents
– D. B. Skillicorn
 1995
