Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Containers: constructing strictly positive types;Abbott;Theor. Comput. Sci.,2005
2. Infinite trees and completely iterative theories: a coalgebraic view;Aczel;Theor. Comput. Sci.,2003
3. LUCID, the Dataflow Programming Language;Ashcroft,1985
4. Linear lambda-calculus and categorical models revisited;Benton,1993
5. Monads and effects;Benton,2002
Cited by
50 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. Categorical Foundation of Explainable AI: A Unifying Theory;Communications in Computer and Information Science;2024
3. Syntax Monads for the Working Formal Metatheorist;Electronic Proceedings in Theoretical Computer Science;2023-12-14
4. Additive Cellular Automata Graded-Monadically;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
5. Promonads and String Diagrams for Effectful Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-07