Type directed compilation of row-typed algebraic effects
From MaRDI portal
Publication:5370883
DOI10.1145/3009837.3009872zbMATH Open1380.68097OpenAlexW2561708922WikidataQ131127729 ScholiaQ131127729MaRDI QIDQ5370883FDOQ5370883
Authors: Daan Leijen 
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009872
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)
- Explicit effect subtyping
- A Functional Abstraction of Typed Invocation Contexts
- Sound and complete type inference for closed effect rows
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
- A type system for effect handlers and dynamic labels
- Inferring algebraic effects
- Structured handling of scoped effects
- Not by equations alone. Reasoning with extensible effects
- Signature restriction for polymorphic algebraic effects
- Automated temporal verification for algebraic effects
- Understanding algebraic effect handlers via delimited control operators
- Latent Effects for Reusable Language Components
- Koka: programming with row polymorphic effect types
- Explicit effect subtyping
- Title not available (Why is that?)
- Continuation passing style for effect handlers
- Doo bee doo bee doo
- Effect handlers via generalised continuations
- Local algebraic effect theories
- Towards efficient adjustment of effect rows
- No value restriction is needed for algebraic effects and handlers
Uses Software
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)
