| Program Optimisation, Naturally (2007) | |||||||||||||||
Abstract | |||||||||||||||
| this paper we derive another, quite di#erent, linear-time algorithm for reversing a list. The derivation relies on a higherorder naturality [5] property of the function unzip, the function that turns a list of pairs into a pair of lists in the obvious way. The final program uses | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||