Java and scala's type systems are unsound: the existential crisis of null pointers
View / Open Files
Authors
Amin, Nada
Tate, Ross
Publication Date
2016-10-19Journal 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 recordCitation
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.
Recommended or similar items
The current recommendation prototype on the Apollo Repository will be turned off on 03 February 2023. Although the pilot has been fruitful for both parties, the service provider IKVA is focusing on horizon scanning products and so the recommender service can no longer be supported. We recognise the importance of recommender services in supporting research discovery and are evaluating offerings from other service providers. If you would like to offer feedback on this decision please contact us on: support@repository.cam.ac.uk