Author:
Foster Jeffrey S.,Fähndrich Manuel,Aiken Alexander
Cited by
84 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Oxidizing OCaml with Modal Memory Management;Proceedings of the ACM on Programming Languages;2024-08-15
2. Qualifying System F
<:
: Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29
3. Inference of Resource Management Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
4. Simple Reference Immutability for System F
<:;Proceedings of the ACM on Programming Languages;2023-10-16
5. AtomiS: Data-Centric Synchronization Made Practical;Proceedings of the ACM on Programming Languages;2023-10-16