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