Type directed compilation of row-typed algebraic effects
From MaRDI portal
Publication:5370883
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
(21)- Structured handling of scoped effects
- Inferring algebraic effects
- Towards efficient adjustment of effect rows
- scientific article; zbMATH DE number 7559296 (Why is no real title available?)
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- Latent Effects for Reusable Language Components
- Explicit effect subtyping
- A type system for effect handlers and dynamic labels
- Continuation passing style for effect handlers
- Doo bee doo bee doo
- Effect handlers via generalised continuations
- No value restriction is needed for algebraic effects and handlers
- Automated temporal verification for algebraic effects
- A Functional Abstraction of Typed Invocation Contexts
- Local algebraic effect theories
- Understanding algebraic effect handlers via delimited control operators
- Not by equations alone. Reasoning with extensible effects
- Signature restriction for polymorphic algebraic effects
- Explicit effect subtyping
- Koka: programming with row polymorphic effect types
- Sound and complete type inference for closed effect rows
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)
