Nada Amin and Ross Tate. 2016. “Java and Scala's type systems are unsound: the existential crisis of null pointers.” In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pp. 838–848. ACM.