Behavioral Compatibility of Self-Typed Theories.

Suad Alagic, Svetlana Kouznetsova

Browse the full ECOOP paper archive.