Monad transformers as monoid transformers
From MaRDI portal
Publication:615955
DOI10.1016/j.tcs.2010.09.011zbMath1209.68107OpenAlexW2150276232MaRDI QIDQ615955
Mauro Jaskelioff, Eugenio Moggi
Publication date: 7 January 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.09.011
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Special categories (18B99)
Related Items (4)
Categories of rough sets and textures ⋮ Unnamed Item ⋮ Backtracking with cut via a distributive law and left-zero monoids ⋮ Notions of computation as monoids
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- The semantics of second-order lambda calculus
- Notions of computation and monads
- Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22--29, 2009. Proceedings
- On the construction of free algebras for equational systems
- Generalising monads to arrows
- Combining effects: sum and tensor
- Composing monads using coproducts
- Tripos theory in retrospect
- Modular Monad Transformers
- Handlers of Algebraic Effects
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Implementing collection classes with monads
- Comprehending monads
- Premonoidal categories and notions of computation
- Introduction to bicategories
- Semantics for Algebraic Operations
This page was built for publication: Monad transformers as monoid transformers
