The following pages link to Koka (Q30899):
Displaying 12 items.
- Explicit effect subtyping (Q2323981) (← links)
- Inferring algebraic effects (Q2921118) (← links)
- (Q4995164) (← 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)
- Local algebraic effect theories (Q5120228) (← links)
- Explicit effect subtyping (Q5120231) (← links)
- Type directed compilation of row-typed algebraic effects (Q5370883) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)