Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof

Combinatory Logic, Volume I

H. B. Curry · 1958

Earlier work this paper cites.

Recursive functions of symbolic expressions and their computation by machine, Part I

J. McCarthy · 1960

Earlier work this paper cites.

Conditional-sum addition logic

J. Sklansky · 1960

Earlier work this paper cites.

A programming language

K. E. Iverson · 1962

Earlier work this paper cites.

On the algorithmic complexity of discrete functions

Y. Ofman · 1963

Earlier work this paper cites.

Infinitely long terms of transfinite type

W. W. Tait · 1965

Earlier work this paper cites.

A parallel algorithm for the efficient solution of a general class of recurrence equations

P. M. Kogge and H. S. Stone · 1973

Earlier work this paper cites.

The impact of applicative programming on multiprocessing

D. Friedman and D. Wise · 1976

Earlier work this paper cites.

Data types as lattices

D. Scott · 1976

Earlier work this paper cites.

Operators

K. E. Iverson · 1979

Earlier work this paper cites.

The formulas-as-types notion of construction

W. A. Howard · 1980

Earlier work this paper cites.

Parallel prefix computation

R. E. Ladner and M. J. Fischer · 1980

Earlier work this paper cites.

A regular layout for parallel adders

R. P. Brent · 1982

Earlier work this paper cites.

On understanding types, data abstraction, and polymorphism

L. Cardelli and P. Wegner · 1985

Earlier work this paper cites.

The power of parallel prefix

C. P. Kruskal, L. Rudolph, and M. Snir · 1985

Earlier work this paper cites.

Data parallel algorithms

W. D. Hillis and G. L. Steele, Jr · 1986

Earlier work this paper cites.

Applications of a strategy for designing divide-and-conquer algorithms

D. R. Smith · 1987

Earlier work this paper cites.

Abstract types have existential type

J. C. Mitchell and G. D. Plotkin · 1988

Cited alongside, same era.

Scans as primitive parallel operations

G. E. Blelloch · 1989

Cited alongside, same era.

Vector models for data-parallel computing

G. E. Blelloch · 1990

Cited alongside, same era.

A parallel method for fast and practical high-order Newton interpolation

Ö. Eğecioğlu, E. Gallopoulos, and Ç. K. Koç · 1990

Cited alongside, same era.

Finding a minimal cover for binary images: An optimal parallel algorithm

D. Moitra · 1991

Cited alongside, same era.

Color set size problem with applications to string matching

L. Chi and K. Hui · 1992

Cited alongside, same era.

Using MPI-2: Advanced Features of the Message-Passing Interface

W. Gropp, E. Lusk, and R. Thakur · 1999

Later among the works it cites.

ZPL: a machine independent programming language for parallel computers

B. L. Chamberlain, S.-E. Choi, E. C. Lewis, C. Lin, L. Snyder, and W. D. Weathersby · 2000

Later among the works it cites.

Fundamental concepts in programming languages

C. Strachey · 2000

Later among the works it cites.

High-level language support for user-defined reductions

S. J. Deitz, B. L. Chamberlain, and L. Snyder · 2002

Later among the works it cites.

An algebra of scans

R. Hinze · 2004

Later among the works it cites.

Stream reduction operations for gpgpu applications

D. Horn · 2005

Later among the works it cites.