Journal article

A theory of overloading

PJ Stuckey, M Sulzmann

ACM Transactions on Programming Languages and Systems | ASSOC COMPUTING MACHINERY | Published : 2005