Provide an implementation of the ideas described in: A Second Look at Overloading,
Martin Odersky, Philip Wadler, and Martin Wehr. In Proceedings, ACM Conference on Functional Programming and Computer Architecture,
La Jolla, CA, June 1995.
The abstract and
bibtex entry
may be viewed separately. A related paper, The Theory of Qualified Types has been written by Mark Jones.
-- DoaitseSwierstra - 21 Apr 2004