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]
Abstract is missing.