Publisher
Oxford University Press (OUP)
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bonsai: synthesis-based reasoning for type systems;Proceedings of the ACM on Programming Languages;2018-01
2. Java and scala's type systems are unsound: the existential crisis of null pointers;ACM SIGPLAN Notices;2016-12-05
3. 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;2016-10-19
4. ThisType for Object-Oriented Languages;ACM Transactions on Programming Languages and Systems;2016-05-02
5. Type Systems;Object-Oriented Technology;2015