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

effectscompletely iterative monadsresumptionstracing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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)

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

• 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?)
• 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
• 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

(9)

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

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)