Parallelizing Imperative Functional Programs: the Vectorization Monad

Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat. Parallelizing Imperative Functional Programs: the Vectorization Monad. Journal of Symbolic Computation, 21(4):561-576, 1996.

Abstract

Abstract is missing.