Author:
Ahmed Amal,Dreyer Derek,Rossberg Andreas
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Logical Essence of Well-Bracketed Control Flow;Proceedings of the ACM on Programming Languages;2024-01-05
2. Compositional Security Definitions for Higher-Order Where Declassification;Proceedings of the ACM on Programming Languages;2023-04-06
3. Modal Crash Types for Intermittent Computing;Programming Languages and Systems;2023
4. A Relational Program Logic with Data Abstraction and Dynamic Framing;ACM Transactions on Programming Languages and Systems;2022-12-31
5. Gradual System F;Journal of the ACM;2022-10-28