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

Thumbnail
View / Open Files
Authors
Amin, Nada
Tate, Ross
Publication Date
2016-10-19
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
Type
Conference Object
Metadata
Show full item record
Citation
Amin, N., & Tate, R. (2016). 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 https://doi.org/10.1145/2983990.2984004
Identifiers
External DOI: https://doi.org/10.1145/2983990.2984004
This record's URL: https://www.repository.cam.ac.uk/handle/1810/285135


Rights
Licence:
http://www.rioxx.net/licenses/all-rights-reserved