Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage.

Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone

Browse the full ICFP paper archive.