Correspondence Polymorphism for Object-Oriented Languages.

Ran Rinat, Menachem Magidor, Scott F. Smith

Browse the full OOPSLA paper archive.