Author:
Clouston Ranald,Bizjak Ale,Grathwohl Hans,Birkedal Lars
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intuitionistic S4 as a logic of topological spaces;Journal of Logic and Computation;2024-08-06
2. Deriving Dependently-Typed OOP from First Principles;Proceedings of the ACM on Programming Languages;2024-04-29
3. 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
4. On Coevaluation Behavior and Equivalence;Mathematics;2022-10-14
5. A totally predictable outcome: an investigation of traversals of infinite structures;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06