High-Performance GPGPU Programming with OCaml