Java and scala's type systems are unsound: the existential crisis of null pointers-Reference-Cited by-同舟云学术

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

Published:2016-10-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
language:
Short-container-title:

Author:

Amin Nada¹,Tate Ross²

Affiliation:

1. EPFL, Switzerland

2. Cornell University, USA

Funder

National Science Foundation

European Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2983990.2984004

Reference42 articles.

1. The Essence of Dependent Object Types

2. Foundations of path-dependent types

3. Making the future safe for the past

4. Andrey Breslav. The Kotlin language documentation February 2016. Andrey Breslav. The Kotlin language documentation February 2016.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Existential Containers in Scala;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13

2. API-Driven Program Synthesis for Testing Static Typing Implementations;Proceedings of the ACM on Programming Languages;2024-01-05

3. Wildcards need witness protection;Proceedings of the ACM on Programming Languages;2022-10-31

4. Programming as architecture, design, and urban planning;Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2021-10-17

5. ιDOT: a DOT calculus with object initialization;Proceedings of the ACM on Programming Languages;2020-11-13