Author:
Gordon Colin S.,Parkinson Matthew J.,Parsons Jared,Bromfield Aleks,Duffy Joe
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. When Is Parallelism Fearless and Zero-Cost with Rust?;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17
3. Qualifying System F
<:
: Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29
4. Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
5. Simple Reference Immutability for System F
<:;Proceedings of the ACM on Programming Languages;2023-10-16