Parallelizing imperative functional programs: The vectorization monad

DOI10.1006/JSCO.1996.0031MaRDI QIDQ2365129zbMATH OpenOpenAlexFDO

Authors Keith M. Clarke, Richard Bornat, Jonathan M. D. Hill

Publication date 22 May 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0031

zbMATH Keywords

vectorization monadvectorizing compiler

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of compilers and interpreters (68N20)

Recommendations

• Automatic SIMD vectorization for Haskell
• scientific article; zbMATH DE number 1760064
• Harnessing the multicores: nested data parallelism in Haskell
• scientific article; zbMATH DE number 1282861
• Parallelizing functional programs by generalization

Cited in

(5)

• A well-known representation of monoids and its application to the function ‘vector reverse’
• Automatic SIMD vectorization for Haskell
• Imperative streams—a monadic combinator library for synchronous programming
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
• scientific article; zbMATH DE number 1760064 (Why is no real title available?)

This page was built for publication: Parallelizing imperative functional programs: The vectorization monad

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