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, Unnamed Item, Lewis meets Brouwer: constructive strict implication, Implication via spacetime, Composable Discovery Engines for Interactive Theorem Proving, Unnamed Item
Cites Work