A theory of overloading.

Peter J. Stuckey, Martin Sulzmann

Browse the full ICFP paper archive.