Conference Proceedings

A theory of overloading

PJ Stuckey, M Sulzmann

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming | ASSOC COMPUTING MACHINERY | Published : 2002