A Monadic Calculus for Parallel Costing of a Functional Language of Arrays (1997)

Cached

Download Links

by C. B. Jay , M. I. Cole , M. Sekanina , P. Steckler
Venue:Euro-Par'97 Parallel Processing, volume 1300 of Lecture Notes in Computer Science
Citations:25 - 9 self

Documents Related by Co-Citation

418 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
161 The essence of Algol – J C Reynolds - 1981
20 The Functional Imperative: Shape! – C. B. Jay, P. A. Steckler - 1997
1312 Monads for functional programming – Philip Wadler - 1995
60 A Semantics for Shape – C. Barry Jay - 1995
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
20 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
146 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
120 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 – M Tofte, J-P Talpin - 1994
1126 A bridging model for parallel computation – Leslie G Valiant - 1990
62 Structured development of parallel programs – Susanna Pelagatti - 1999
19 Optimising the Parallel Behaviour of Combinations of Program Components – Hing Wing To - 1995
28 Skeleton-based Parallelisation of Functional Programmes – T Bratvold - 1994
11 Foundations of Parallel Programming. Number 6 – D B Skillicorn - 1994
54 Functional Skeletons for Parallel Coordination – John Darlington, Yi-ke Guo, Hing Wing To, Jin Yang, Hing Wing, To Jin Yang - 1995