Data parallelism in Haskell.

Manuel M. T. Chakravarty

Published in: FHPC@ICFP (2013)

Keyphrases

data parallelism
combinatorial search
parallel processing
programming language
distributed memory
distributed computing
parallel programming
shared memory
search space
theorem proving
combinatorial problems
programming environment
machine learning
search algorithm