SPOC: GPGPU Programming Through Stream Processing With OCaml