Parallelizing Imperative Functional Programs: the Vectorization Monad.

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

Published in: J. Symb. Comput. (1996)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
functional language
logic programs
stochastic grammar
parallel processing
line drawings
management system