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

View PDF

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:27 - 9 self

Documents Related by Co-Citation

440 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
1353 Monads for functional programming – Philip Wadler - 1995
2004 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
1184 A bridging model for parallel computation – L G Valiant - 1990
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
467 Comprehending Monads – Philip Wadler - 1992
985 A theory of type polymorphism in programming – Robin Milner - 1978