Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Arrows, like monads, are monoids;Heunen;Electron. Notes in Theor. Comput. Sci.,2006
2. Generalising monads to arrows;Hughes;Sci. of Comput. Program.,2000
3. Freyd is Kleisli, for arrows;Jacobs,2006
4. Basic Concepts of Enriched Category Theory;Kelly,1982
5. Modelling environments in call-by-value programming languages;Levy;Inform. and Comput.,2003
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-safe Quantum Programming in Idris;Programming Languages and Systems;2023
2. Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Compositional Game Theory, Compositionally;Electronic Proceedings in Theoretical Computer Science;2021-02-08
4. Relating Idioms, Arrows and Monads from Monoidal Adjunctions;Electronic Proceedings in Theoretical Computer Science;2018-07-10
5. Commutative Semantics for Probabilistic Programming;Programming Languages and Systems;2017