A Co-contextual Type Checker for Featherweight Java .

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

Browse the full ECOOP paper archive.