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
1311 Monads for functional programming – Philip Wadler - 1995
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1132 A bridging model for parallel computation – L Valiant - 1990
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1890 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
457 Comprehending Monads – Philip Wadler - 1992
938 A theory of type polymorphism in programming – Robin Milner - 1978
604 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997