Author:
Bahr Patrick,Grathwohl Hans Bugge,Mogelberg Rasmus Ejlers
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Productivity Verification for Functional Programs by Reduction to Termination Verification;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Gradual Typing for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-10-16
3. When Programs Have to Watch Paint Dry;Lecture Notes in Computer Science;2023
4. On Coevaluation Behavior and Equivalence;Mathematics;2022-10-14
5. Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02