Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. Alimarine, A., S. Smetsers, A. van Weelden, M. van Eekelen and R. Plasmeijer, There and back again: arrows for invertible programming, in: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86–97, (ISBN 1-59593-071-X)
2. Functorial polymorphism;Bainbridge;Theoretical Computer Science,1990
3. Traced premonoidal categories;Benton;Theoretical Informatics and Applications,2003
4. Handbook of Categorical Algebra;Borceux,1994
5. Modules;Cockett;Theory and Applications of Categories,2003
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories;Electronic Proceedings in Theoretical Computer Science;2023-12-14
2. Promonads and String Diagrams for Effectful Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Compositional Game Theory, Compositionally;Electronic Proceedings in Theoretical Computer Science;2021-02-08
4. Composing effects into tasks and workflows;Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
5. Monads need not be endofunctors;Logical Methods in Computer Science;2015-03-06