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]
@inproceedings{HenriksenEO14,
title = {Size slicing: a hybrid approach to size inference in futhark},
author = {Troels Henriksen and Martin Elsman and Cosmin E. Oancea},
year = {2014},
doi = {10.1145/2636228.2636238},
url = {http://doi.acm.org/10.1145/2636228.2636238},
researchr = {https://researchr.org/publication/HenriksenEO14},
cites = {0},
citedby = {0},
pages = {31-42},
booktitle = {Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014},
editor = {Jost Berthold and Mary Sheeran and Ryan Newton},
publisher = {ACM},
isbn = {978-1-4503-3040-4},
}