Synthesizing imperative distributed-memory implementations from functional data-parallel programs. - Tristan Aubrey-Jones (2015)

Synthesizing MPI Implementations from Functional Data-Parallel Programs. - Tristan Aubrey-Jones; Bernd Fischer 002 (Int. J. Parallel Program., 2016)