Cited in
(27)- Inferring algebraic effects
- CHAD
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Type directed compilation of row-typed algebraic effects
- Explicit effect subtyping
- Continuation passing style for effect handlers
- Doo bee doo bee doo
- Effect handlers via generalised continuations
- No value restriction is needed for algebraic effects and handlers
- A Functional Abstraction of Typed Invocation Contexts
- Local algebraic effect theories
- Frank
- Mezzo
- LMS
- Eff
- Monatron
- Links
- Lantern
- parsec
- Shonky
- Trifecta
- LaCasa
- indentation
- Madoko
- Explicit effect subtyping
- Koka: programming with row polymorphic effect types
- ad
This page was built for software: Koka
