Author:
Cartwright Robert,Fagan Mike
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-Based Gradual Typing Performance Optimization;Proceedings of the ACM on Programming Languages;2024-01-05
2. Pragmatic Gradual Polymorphism with References;Programming Languages and Systems;2023
3. Gradual System F;Journal of the ACM;2022-10-28
4. SimTyper: sound type inference for Ruby using type equality prediction;Proceedings of the ACM on Programming Languages;2021-10-20
5. Corpse reviver: sound and efficient gradual typing via contract verification;Proceedings of the ACM on Programming Languages;2021-01-04