Author:
Power John,Thielecke Hayo
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Douence and P. Fradet. A Taxonomy of Functional Language Implementations Part I: Call-by-Value, INRIA Research Report No 2783, 1995.
2. M. Hasegawa. Decomposing typed lambda calculus into a couple of categorical programming languages, Proc. CTCS, Lect. Notes in Computer Science 953 (1995).
3. A. Jeffrey. Premonoidal categories and a graphical view of programs. http://www.cogs.susx.ac.uk/users/alanje/premon/paper-title.html.
4. G.M. Kelly. The basic concepts of enriched categories. CUP (1982).
5. X. Leroy. The ZINC experiment: an economical implementation of the ML language. Technical Report RT-0117, INRIA, Institut National de Recherche en Informatique et en Automatique, 1990.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. Promonads and String Diagrams for Effectful Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. What Makes a Strong Monad?;Electronic Proceedings in Theoretical Computer Science;2022-06-30
4. From Linear Logic to Cyclic Sharing;Electronic Proceedings in Theoretical Computer Science;2019-04-15
5. A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculus;Programming Languages and Systems;2019