Monads for behaviour

DOI10.1016/J.ENTCS.2013.09.019MaRDI QIDQ265824zbMATH OpenOpenAlexWikidataFDO

Authors Maciej Piróg, Jeremy Gibbons

Publication date 12 April 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2013.09.019

zbMATH Keywords

completely iterative monadseffectsresumptionstracing

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Monads in action
• Modular Monad Transformers
• scientific article; zbMATH DE number 2087441
• Tracing monadic computations and representing effects
• Complete Elgot monads and coalgebraic resumptions

Cites work

• A note on Coinduction and Weak Bisimilarity for While Programs
• Categorical fixed point calculus
• Combining effects: sum and tensor
• Completely iterative algebras and completely iterative monads
• Coproducts of Ideal Monads
• Elgot Algebras
• Fibrational induction meets effects
• General Recursion via Coinductive Types
• Generic Trace Semantics via Coinduction
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 2247254 (Why is no real title available?)
• Inductive reasoning about effectful data types
• Infinite trees and completely iterative theories: A coalgebraic view
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• On rational monads and free iterative theories
• The Category-Theoretic Solution of Recursive Domain Equations
• The category-theoretic solution of recursive program schemes
• Trace-Based Coinductive Operational Semantics for While

Cited in

(10)

• The coinductive resumption monad
• State dependent IO-monads in type theory
• Unifying guarded and unguarded iteration
• Unguarded recursion on coinductive resumptions
• scientific article; zbMATH DE number 7080198 (Why is no real title available?)
• Interaction laws of monads and comonads
• Tracing monadic computations and representing effects
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Unguarded recursion on coinductive resumptions
• A unifying categorical view of nondeterministic iteration and tests

Describes a project that uses

Uses Software

• pipes

This page was built for publication: Monads for behaviour

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