2 Sorting
This section contains a number of well-known sorting algorithms, mostly
programmed as list-sorting in a functional style. The functional
implementations are all given as functors with the same interface,
where SORT specifies the interface for list-sorting. This
interface is shown only for bubble-sort; the others are analogous.
To test the implementation, the module Randlist allows to
generate random lists of integers.
Pages last (re-)generated October 28, 2002 (Martin Steffen)