|
371
|
Algorithmic Skeletons: Structured Management of Parallel Computation
– M Cole
- 1988
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
155
|
The essence of Algol
– J C Reynolds
- 1981
|
|
20
|
The Functional Imperative: Shape!
– C. B. Jay, P. A. Steckler
- 1997
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
22
|
Shape Checking of Array Programs
– C. Barry Jay, Milan Sekanina
- 1997
|
|
140
|
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
|
|
113
|
Proving the correctness of reactive systems using sized types
– John Hughes, Lars Pareto, Amr Sabry
- 1996
|
|
6
|
Costing Parallel Programs as a Function of Shapes
– C. Barry Jay
- 1999
|
|
27
|
Functorial ML
– G. Belle, C. B. Jay, E. Moggi
- 1996
|
|
51
|
Implementation of the typed call-by-value -calculus using a stack of regions
– Mads Tofte, Jean-Pierre Talpin
- 1994
|
|
1016
|
A bridging model for parallel computation
– L G Valiant
- 1990
|
|
58
|
Structured Development of Parallel Programs
– S Pelagatti
- 1998
|
|
19
|
Optimising the Parallel Behaviour of Combinations of Program Components
– Hing Wing To
- 1995
|
|
28
|
Skeleton-based Parallelisation of Functional Programmes
– T Bratvold
- 1994
|
|
10
|
Foundations of Parallel Programming. Number 6
– D B Skillicorn
- 1994
|
|
53
|
Functional Skeletons for Parallel Coordination
– John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang, Hing Wing, To Jin Yang
- 1995
|
