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

Nada Amin, Ross Tate (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics