Modular Monad Transformers
From MaRDI portal
Publication:3617691
DOI10.1007/978-3-642-00590-9_6zbMath1234.68056OpenAlexW1499496279MaRDI QIDQ3617691
Publication date: 31 March 2009
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_6
Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (6)
A coinductive calculus for asynchronous side-effecting processes ⋮ Monad transformers as monoid transformers ⋮ Towards a practical library for monadic equational reasoning in Coq ⋮ Notions of computation as monoids ⋮ List Objects with Algebraic Structure ⋮ Algebraic presentation of semifree monads
Uses Software
This page was built for publication: Modular Monad Transformers
