A theory of overloading (2002)

by Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
Venue:ACM Transactions on Programming Languages and Systems (TOPLAS