GPGPU Composition with OCaml.

Mathias Bourgoin, Emmanuel Chailloux

Browse the full PLDI paper archive.