Instance chains: type class programming without overlapping instances.

J. Garrett Morris, Mark P. Jones

Browse the full ICFP paper archive.