Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea. Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]
Abstract is missing.