Author:
Ahman Danel,Chapman James,Uustalu Tarmo
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
3. Complexity bounds for container functors and comonads;Information and Computation;2018-08
4. Handling fibred algebraic effects;Proceedings of the ACM on Programming Languages;2018-01
5. Quotienting the delay monad by weak bisimilarity;Mathematical Structures in Computer Science;2017-10-17