Type classes as objects and implicits.

Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky

Browse the full OOPSLA paper archive.