Author:
Aydemir Brian,Charguéraud Arthur,Pierce Benjamin C.,Pollack Randy,Weirich Stephanie
Cited by
98 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mechanizing Refinement Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
3. ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs;Lecture Notes in Computer Science;2023-12-02
4. Simple Reference Immutability for System F
<:;Proceedings of the ACM on Programming Languages;2023-10-16
5. Dependency-Free Capture Tracking;Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs;2023-07-18