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

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]

Authors

Markus Aronsson

This author has not been identified. Look up 'Markus Aronsson' in Google

Koen Claessen

Identified as Koen Claessen

Mary Sheeran

This author has not been identified. It may be one of the following persons: Look up 'Mary Sheeran' in Google

Nicholas Smallbone

This author has not been identified. Look up 'Nicholas Smallbone' in Google