Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone: Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP 2019: 34-46