Implementing collection classes with monads

DOI10.1017/S0960129598002515MaRDI QIDQ4236209zbMATH OpenOpenAlexFDO

Authors Ernie Manes

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

zbMATH Keywords

collection monadobject-oriented programming

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) General topics in the theory of software (68N01)

Recommendations

• Data collections and monads
• scientific article; zbMATH DE number 3924120
• scientific article; zbMATH DE number 139984
• Notions of computation as monoids

Cited in

(16)

• Infinitary addition, real numbers, and taut monads
• Taut monads and T0-spaces.
• Iterated covariant powerset is not a monad
• Generalized Płonka sums and products
• The monads of classical algebra are seldom weakly Cartesian
• Connected monads weakly preserve products
• Monads of regular theories
• Boolean restriction categories and taut monads
• Boolean and classical restriction categories
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• Multi-level modelling via stochastic multi-level multiset rewriting
• Taut monads, dynamic logic and determinism
• Data collections and monads
• Monad transformers as monoid transformers
• Categories for collection monads
• On minimal coalgebras

This page was built for publication: Implementing collection classes with monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236209)