Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone. Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. In Marco Zocca, editor, Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019. pages 34-46, ACM, 2019. [doi]
@inproceedings{AronssonCSS19,
title = {Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage},
author = {Markus Aronsson and Koen Claessen and Mary Sheeran and Nicholas Smallbone},
year = {2019},
doi = {10.1145/3331553.3342616},
url = {https://doi.org/10.1145/3331553.3342616},
researchr = {https://researchr.org/publication/AronssonCSS19},
cites = {0},
citedby = {0},
pages = {34-46},
booktitle = {Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC@ICFP 2019, Berlin, Germany, August 18, 2019},
editor = {Marco Zocca},
publisher = {ACM},
isbn = {978-1-4503-6814-8},
}