Towards efficient adjustment of effect rows

DOI10.1007/978-3-031-21314-4_9MaRDI QIDQ6111457zbMATH OpenOpenAlexFDO

Authors Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Publication date 3 August 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-21314-4_9

zbMATH Keywords

algebraic effectcompiler optimizationeffect handlerseffect systemtype system

Mathematics Subject Classification ID

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

Recommendations

• Sound and complete type inference for closed effect rows
• Type directed compilation of row-typed algebraic effects
• Fusion for free. Efficient algebraic effect handlers
• Koka: programming with row polymorphic effect types
• Explicit effect subtyping

Cites work

• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Explicit effect subtyping
• Handling algebraic effects
• Koka: programming with row polymorphic effect types
• Type directed compilation of row-typed algebraic effects
• Type-indexed rows

Cited in

(1)

• Rowmotion and increasing labeling promotion

This page was built for publication: Towards efficient adjustment of effect rows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6111457)