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