|
121
|
Models and Languages for Parallel Computation
– David B. Skillicorn, Domenico Talia
- 1998
|
|
|
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion
– Susumu Nishimura, Atsushi Ohori
- 1993
|
|
1
|
Mapping Adl to the Bird-Meertens Formalism
– Brad Alexander
- 1994
|
|
3
|
A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages
– Gabriele Keller, Martin Simons
- 1996
|
|
3
|
An equational object-oriented data model and its data-parallel query language. Pages 1-17 of
– Susumu Nishimura, Atsushi Ohori, Keishi Tajima
- 1996
|
|
5
|
Practical Parallel Divide-and-Conquer Algorithms
– Jonathan Hardwick
- 1997
|
|
8
|
Towards a Scalable Parallel Object Database - The Bulk Synchronous Parallel Approach
– K. Ronald Sujithan
- 1996
|
|
57
|
A cost calculus for parallel functional programming
– D. B. Skillicorn
- 1995
|
|
3
|
Shaping Object-Oriented Programs
– C. Barry Jay, James Noble
- 1996
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
17
|
A Cost Analysis for a Higher-order Parallel Programming Model
– Roopa Rangaswami, Sister Kripa
- 1996
|
|
3
|
Monads, Shapely Functors and Traversals
– E. Moggi, G. Bellè, C. B. Jay
- 1999
|
|
5
|
Shape Analysis for Parallel Computing
– C. Barry Jay
- 1995
|
|
1
|
Typed Intermediate Languages for Shape-Analysis
– G. Bellè, E. Moggi
- 1997
|
|
2
|
The FISh language definition
– C. B. Jay
- 1998
|
|
22
|
Shape Checking of Array Programs
– C. Barry Jay, Milan Sekanina
- 1997
|
|
1
|
Functors, Types and Shapes
– Barry Jay, Eugenio Moggi
- 1998
|
|
1
|
Experiments with Generic Visitors
– Jens Palsberg, C. Barry Jay, J. Noble
|
|
2
|
Constructive membership predicates as index
– James Caldwell
|
