The following pages link to Do be do be do (Q5370884):
Displayed 12 items.
- Gradual type theory (Q5019016) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← 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)
- Explicit effect subtyping (Q5120231) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Understanding algebraic effect handlers via delimited control operators (Q6111452) (← links)
- Sound and complete type inference for closed effect rows (Q6111455) (← links)
- Structured handling of scoped effects (Q6166800) (← links)
- Automated temporal verification for algebraic effects (Q6176569) (← links)