Java is Type Safe - Probably.

Sophia Drossopoulou, Susan Eisenbach

Browse the full ECOOP paper archive.