Troels Henriksen, Martin Elsman, Cosmin E. Oancea. Size slicing: a hybrid approach to size inference in futhark. In Jost Berthold, Mary Sheeran, Ryan Newton, editors, Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014. pages 31-42, ACM, 2014. [doi]
Abstract is missing.