Subtyping Is Not a Good "Match" for Object-Oriented Languages.

Kim B. Bruce, Leaf Petersen, Adrian Fiech

Browse the full ECOOP paper archive.