Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
From MaRDI portal
Recommendations
- The coinductive resumption monad
- Complete Elgot monads and coalgebraic resumptions
- Coalgebraic monads
- A monadic framework for delimited continuations
- Guarded dependent type theory with coinductive types
- Monads, partial evaluations, and rewriting
- A Description of Iterative Reflections of Monads (Extended Abstract)
- Programming and reasoning with guarded recursion for coinductive types
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
- scientific article; zbMATH DE number 2003163
Cites work
- Combining algebraic effects with continuations
- Combining effects: sum and tensor
- Complete Elgot monads and coalgebraic resumptions
- Completely iterative algebras and completely iterative monads
- General Recursion via Coinductive Types
- Generalizing Substitution
- Guarded traced categories
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1393359 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies
- Iterative algebras: how iterative are they?
- Monads for behaviour
- Notions of computation and monads
- The coinductive resumption monad
- Unbounded Non-determinism in CSP
- Unguarded recursion on coinductive resumptions
- Unifying guarded and unguarded iteration
Cited in
(3)
This page was built for publication: Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875354)
