Java and scala's type systems are unsound: the existential crisis of null pointers.

Nada Amin, Ross Tate

Browse the full OOPSLA paper archive.