Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
From MaRDI portal
Publication:5166623
DOI10.1016/j.entcs.2011.02.018zbMath1291.68168WikidataQ113318282 ScholiaQ113318282MaRDI QIDQ5166623
Jeremy Yallop, Philip Wadler, Sam Lindley
Publication date: 27 June 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.02.018
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Notions of computation as monoids, Iterating on multiple collections in synchrony, Lewis meets Brouwer: constructive strict implication, Implication via spacetime, Composable Discovery Engines for Interactive Theorem Proving, Unnamed Item
Cites Work