Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;M. Abbott,2003
2. Atkey, R.: What is a categorical model of arrows? Electronic Notes on Theoretical Computer Science 229(5), 19–37 (2011)
3. Baars, A.I., Löh, A., Doaitse Swierstra, S.: Parsing permutation phrases. Journal of Functional Programming 14(6), 635–646 (2004)
4. Coutts, D.: Arrows for errors: Extending the error monad (2002); unpublished presentation at the Summer School on Advanced Functional Programming
5. Eilenberg, S., Kelly, G.M.: Closed categories. In: Eilenberg, S., Harrison, D.K., Röhrl, H., MacLane, S. (eds.) Proceedings of the Conference on Categorical Algebra, pp. 421–562. Springer (1966)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
2. Modular Models of Monoids with Operations;Proceedings of the ACM on Programming Languages;2023-08-30
3. Differential 2-rigs;Electronic Proceedings in Theoretical Computer Science;2023-08-07
4. Breadth-First Traversal via Staging;Lecture Notes in Computer Science;2022
5. Algebras for weighted search;Proceedings of the ACM on Programming Languages;2021-08-22