Generic discrimination: sorting and paritioning unshared data in linear time.

Fritz Henglein

Browse the full ICFP paper archive.