A theory of overloading (2002)

by P J Stuckey, M Sulzmann
Venue:In Proc. of ICFP’02