A type system for effect handlers and dynamic labels
From MaRDI portal
Publication:6535238
Recommendations
- An effect system for algebraic effects and handlers
- Handling polymorphic algebraic effects
- An effect system for algebraic effects and handlers
- No value restriction is needed for algebraic effects and handlers
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
Cites work
- \(\rightthreetimes\)
- A relational model of types-and-effects in higher-order concurrent separation logic
- A selective CPS transformation
- A step-indexed model of substructural state
- A syntactic approach to type soundness
- An effect system for algebraic effects and handlers
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Functional and Logic Programming
- Handlers in action
- Handlers of Algebraic Effects
- Interactive proofs in higher-order concurrent separation logic
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- Koka: programming with row polymorphic effect types
- No value restriction is needed for algebraic effects and handlers
- Programming with algebraic effects and handlers
- Shallow effect handlers
- Type directed compilation of row-typed algebraic effects
- Type inference for polymorphic references
- Type inference for record concatenation and multiple inheritance
- Types and programing languages
Cited in
(4)
This page was built for publication: A type system for effect handlers and dynamic labels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535238)
