Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
From MaRDI portal
Publication:5166623
DOI10.1016/j.entcs.2011.02.018zbMath1291.68168OpenAlexW2106742806WikidataQ113318282 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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (7)
Implication via spacetime ⋮ Iterating on multiple collections in synchrony ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Notions of computation as monoids ⋮ Composable Discovery Engines for Interactive Theorem Proving
Cites Work
This page was built for publication: Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous