Pages that link to "Item:Q2943369"
From MaRDI portal
The following pages link to Deriving backtracking monad transformers (Q2943369):
Displaying 9 items.
- A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
- Specification of Logic Programming Languages from Reusable Semantic Building Blocks (Q2841297) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- Transactional events (Q3546046) (← links)
- The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)
- (Q5013826) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← links)
