Pages that link to "Item:Q2888474"
From MaRDI portal
The following pages link to Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474):
Displaying 8 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- The marriage of effects and monads (Q5234259) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)