Author:
Birkedal Lars,Mogelberg Rasmus Ejlers,Schwinghammer Jan,Stovring Kristian
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Gradual Typing for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-10-16
2. Formalizing CCS and π-calculus in Guarded Cubical Agda;Journal of Logical and Algebraic Methods in Programming;2023-02
3. What should a generic object be?;Mathematical Structures in Computer Science;2023-01
4. Monoidal Streams for Dataflow Programming;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. A cost-aware logical framework;Proceedings of the ACM on Programming Languages;2022-01-12