TY  - RPRT
TI  - A mathematical formalization of data parallel operations
AU  - Victor Eijkhout
PY  - 2016
UR  - https://arxiv.org/abs/1602.02409
ID  - 1602.02409
ER  -