A typed intermediate language for supporting interfaces.

Juan Chen

Browse the full ECOOP paper archive.