Author:
Crary Karl,Walker David,Morrisett Greg
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization;Proceedings of the ACM on Programming Languages;2024-04-29
2. Capturing Types;ACM Transactions on Programming Languages and Systems;2023-11-20
3. Responsive Parallelism with Synchronization;Proceedings of the ACM on Programming Languages;2023-06-06
4. Verus: Verifying Rust Programs using Linear Ghost Types;Proceedings of the ACM on Programming Languages;2023-04-06
5. Linearly qualified types: generic inference for capabilities and uniqueness;Proceedings of the ACM on Programming Languages;2022-08-29