J. Gibbons. Journal of Functional Programming, 9 (3):
339--346(1999)
Abstract
This paper is about point-free (or `pointless') calculations~--- calculations performed at the level of function composition instead of that of function application. We address this topic with the help of an example, namely calculating the radix-sort algorithm from a more obvious specification of sorting. The message that we hope to send is that point-free calculations are sometimes surprisingly simpler than the corresponding point-wise calculations.
%0 Journal Article
%1 radix
%A Gibbons, Jeremy
%D 1999
%J Journal of Functional Programming
%K fp free gramma haskell point programming
%N 3
%P 339--346
%T A Pointless Derivation of Radixsort
%U http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/radix.ps.gz
%V 9
%X This paper is about point-free (or `pointless') calculations~--- calculations performed at the level of function composition instead of that of function application. We address this topic with the help of an example, namely calculating the radix-sort algorithm from a more obvious specification of sorting. The message that we hope to send is that point-free calculations are sometimes surprisingly simpler than the corresponding point-wise calculations.
@article{radix,
abstract = {This paper is about point-free (or `pointless') calculations~--- calculations performed at the level of function composition instead of that of function application. We address this topic with the help of an example, namely calculating the \emph{radix-sort} algorithm from a more obvious specification of sorting. The message that we hope to send is that point-free calculations are sometimes surprisingly simpler than the corresponding point-wise calculations.},
added-at = {2010-11-17T18:00:31.000+0100},
author = {Gibbons, Jeremy},
biburl = {https://www.bibsonomy.org/bibtex/2b9caad28d9344f9cbdd7c3a6da077aae/sac},
description = {Jeremy Gibbons' Publications: BibTeX entries},
interhash = {d8b4316d63d7badc3384daae72f2442e},
intrahash = {b9caad28d9344f9cbdd7c3a6da077aae},
journal = {Journal of Functional Programming},
keywords = {fp free gramma haskell point programming},
number = 3,
pages = {339--346},
timestamp = {2010-11-17T18:00:31.000+0100},
title = {A Pointless Derivation of Radixsort},
url = {http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/radix.ps.gz},
volume = 9,
year = 1999
}