Implementing collection classes with monads
From MaRDI portal
Publication:4236209
DOI10.1017/S0960129598002515zbMath0916.68016OpenAlexW2081896452MaRDI QIDQ4236209
Publication date: 22 March 1999
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129598002515
General topics in the theory of software (68N01) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (14)
Unnamed Item ⋮ Iterated covariant powerset is not a monad ⋮ Monad transformers as monoid transformers ⋮ On minimal coalgebras ⋮ Multi-level modelling via stochastic multi-level multiset rewriting ⋮ Generalized Płonka sums and products ⋮ The monads of classical algebra are seldom weakly Cartesian ⋮ Boolean restriction categories and taut monads ⋮ Infinitary addition, real numbers, and taut monads ⋮ Boolean and classical restriction categories ⋮ Connected monads weakly preserve products ⋮ Taut Monads, Dynamic Logic and Determinism ⋮ Monads of regular theories ⋮ Taut monads and \(T0\)-spaces.
This page was built for publication: Implementing collection classes with monads
