Sorting with bialgebras and distributive laws.

Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, Jos Pedro Magalhes

Browse the full ICFP paper archive.