Search whole site: site:dl.acm.org
Search title: Java and scala's type systems are unsound: the existential crisis of null pointers | Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
See how to search.