Type directed compilation of row-typed algebraic effects

DOI10.1145/3009837.3009872zbMath1380.68097OpenAlexW2561708922WikidataQ131127729 ScholiaQ131127729MaRDI QIDQ5370883

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

zbMATH Keywords

type inferencealgebraic effect handlersCPS transformation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (15)

Explicit effect subtyping ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Sound and complete type inference for closed effect rows ⋮ Towards efficient adjustment of effect rows ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ Automated temporal verification for algebraic effects ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Continuation passing style for effect handlers ⋮ Not by equations alone: Reasoning with extensible effects

Uses Software

• JavaScript
• Koka
• Madoko

This page was built for publication: Type directed compilation of row-typed algebraic effects