Type directed compilation of row-typed algebraic effects
From MaRDI portal
Recommendations
- Sound and complete type inference for closed effect rows
- Programming and reasoning with algebraic effects and dependent types
- scientific article; zbMATH DE number 3970091
- Algebra of Programming Using Dependent Types
- Stratified type inference for generalized algebraic data types
- Type-decomposition of an effect algebra
- Enriching an Effect Calculus with Linear Types
Cited in
(25)- Explicit effect subtyping
- Inferring algebraic effects
- Koka: programming with row polymorphic effect types
- Not by equations alone. Reasoning with extensible effects
- A Functional Abstraction of Typed Invocation Contexts
- Typed equivalence of effect handlers and delimited control
- 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
- No value restriction is needed for algebraic effects and handlers
- Understanding algebraic effect handlers via delimited control operators
- Sound and complete type inference for closed effect rows
- Towards efficient adjustment of effect rows
- Structured handling of scoped effects
- Automated temporal verification for algebraic effects
- Latent Effects for Reusable Language Components
- A type system for effect handlers and dynamic labels
- Signature restriction for polymorphic algebraic effects
- Hefty algebras: modular elaboration of higher-order effects
- Simplifying explicit subtyping coercions in a polymorphic calculus with effects
- Tail recursion modulo context: an equational approach (extended version)
- A calculus for scoped effects \& handlers
This page was built for publication: Type directed compilation of row-typed algebraic effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370883)
