Speeding up GPU copies by permuting iteration spaces, or, optimising the identity function

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.