A theory of overloading

Peter J. Stuckey, Martin Sulzmann. A theory of overloading. In Proceedings of the seventh ACM SIGPLAN international conference on Functional Programming (ICFP 2002). pages 167-178, 2002. [doi]

Abstract

Abstract is missing.