Author:
Aiken Alex,Foster Jeffrey S.,Kodumal John,Terauchi Tachio
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study;Programming Languages and Systems;2023
2. A flexible type system for fearless concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Reachability types: tracking aliasing and separation in higher-order functional programs;Proceedings of the ACM on Programming Languages;2021-10-20
4. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs;Programming Languages and Systems;2020
5. Locking discipline inference and checking;Proceedings of the 38th International Conference on Software Engineering;2016-05-14