Principal typings for Java-like languages.

Davide Ancona, Elena Zucca

Browse the full POPL paper archive.