Author:
McDermott Dylan,Uustalu Tarmo
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Concurrent monads for shared state;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Galois connecting call-by-value and call-by-name;Logical Methods in Computer Science;2024-02-12
4. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
5. Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories;Electronic Proceedings in Theoretical Computer Science;2023-12-14