A monadic calculus for parallel costing of a functional language of arrays

DOI10.1007/BFB0002796MaRDI QIDQ4537007zbMATH OpenFDO

Authors M. I. Cole, Milan Sekanina, Paul Steckler, Barry Jay

Publication date 6 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002796

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• A cost calculus for parallel functional programming
• A calculus for parallel computations over multidimensional dense arrays
• Parallel functional arrays
• Costing parallel programs as a function of shapes
• Parallelizing imperative functional programs: The vectorization monad

Cited in

(6)

• A cost calculus for parallel functional programming
• Parallelizing imperative functional programs: The vectorization monad
• A provable time and space efficient implementation of NESL
• Parallel functional arrays
• Concrete data structures and functional parallel programming
• A calculus for parallel computations over multidimensional dense arrays

This page was built for publication: A monadic calculus for parallel costing of a functional language of arrays

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537007)