The following pages link to Handlers in action (Q5244797):
Displaying 23 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Fusion for Free (Q2941182) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- Runners in Action (Q5041086) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- (Q5094148) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala (Q5110932) (← links)
- Doo bee doo bee doo (Q5110934) (← links)
- Continuation passing style for effect handlers (Q5111314) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Reversible monadic computing (Q5971401) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
