Koka

swMATH19068MaRDI QIDQ30899FDOQ30899

Author name not available (Why is that?)

Cited In (12)

• Explicit effect subtyping
• A Functional Abstraction of Typed Invocation Contexts
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Inferring algebraic effects
• Title not available (Why is that?)
• 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
• Local algebraic effect theories
• No value restriction is needed for algebraic effects and handlers

This page was built for software: Koka