Expressive array constructs in an embedded GPU kernel programming language.

Koen Claessen, Mary Sheeran, Joel Svensson

Browse the full POPL paper archive.