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

Amin, Nada; Tate, Ross

View / Open Files

Accepted version (PDF, 214Kb)

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

Publisher

ACM

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

Statistics

Total file downloads (since January 2020). For more information on metrics see the IRUS guide.