Java and scala's type systems are unsound: the existential crisis of null pointers
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Amin, Nada
Tate, Ross
Description
Keywords
46 Information and Computing Sciences, 49 Mathematical Sciences, 4612 Software Engineering
Journal Title
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Conference Name
SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Journal ISSN
Volume Title
Publisher
ACM