Koka
From MaRDI portal
Software:30899
No author found.
Related Items (12)
Explicit effect subtyping ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Inferring Algebraic Effects ⋮ Unnamed Item ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Local algebraic effect theories ⋮ Type directed compilation of row-typed algebraic effects ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Explicit effect subtyping ⋮ Continuation passing style for effect handlers
This page was built for software: Koka
