A theory of overloading part II: semantics and coherence (2002)

by M Sulzmann, A Rossberg