Parallelizing imperative functional programs: The vectorization monad

DOI10.1006/JSCO.1996.0031zbMATH Open0863.68041OpenAlexW1988130317MaRDI QIDQ2365129FDOQ2365129

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

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

zbMATH Keywords

vectorization monadvectorizing compiler

Mathematics Subject Classification ID

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

Cited In (4)

• Automatic SIMD vectorization for Haskell
• Title not available (Why is that?)
• Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
• Imperative streams—a monadic combinator library for synchronous programming

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)