Sorting with bialgebras and distributive laws.

Ralf Hinze Daniel W. H. James Thomas Harper Nicolas Wu José Pedro Magalhães

Published in: WGP@ICFP (2012)

Keyphrases

general theory
distributive lattices
information retrieval
image processing
artificial intelligence
sorting algorithms