More on Merging and Selection
In his paper <i>On Merging and Selection</i> (<i>Journal of Functional Programming</i> 7(3), 1997), Bird considers the problem of computing the nth element of the list resulting from merging the two sorted lists x and y. Representing x and y by trees, Bird derives an algorith...
Päätekijä: | |
---|---|
Aineistotyyppi: | Report |
Julkaistu: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1997
|