Kleene Monads: Handling Iteration in a Framework of Generic Effects

DOI10.1007/978-3-642-03741-2_3zbMath1239.68024OpenAlexW1498220043MaRDI QIDQ2888474

Lutz Schröder, Till Mossakowski, Sergei S. Goncharov

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_3

Mathematics Subject Classification ID

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) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (4)

A divertimento on MonadPlus and nondeterminism ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Iteration and labelled iteration

Uses Software

• HasCasl
• Haskell

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• A completeness theorem for Kleene algebras and the algebra of regular events
• Coalgebras and monads in the semantics of Java
• Combining effects: sum and tensor
• Backtracking, interleaving, and terminating monad transformers
• Deriving backtracking monad transformers
• Monadic encapsulation of effects: a revised approach (extended version)
• Computational types from a logical perspective
• Monad-independent Dynamic Logic in HasCasl
• A confluent reduction for the λ-calculus with surjective pairing and terminal object
• Algebraic Methodology and Software Technology
• Programming Languages and Systems

This page was built for publication: Kleene Monads: Handling Iteration in a Framework of Generic Effects