A graphical approach to monad compositions
From MaRDI portal
Publication:4923371
DOI10.1016/S1571-0661(05)80041-6zbMath1264.03084MaRDI QIDQ4923371
No author found.
Publication date: 6 June 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
High-level modelling for typed functional programming ⋮ Unnamed Item ⋮ A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.
Cites Work
This page was built for publication: A graphical approach to monad compositions