Towards efficient adjustment of effect rows

DOI10.1007/978-3-031-21314-4_9zbMath1528.68065OpenAlexW4313351109MaRDI QIDQ6111457

Hidehiko Masuhara, Youyou Cong, Daan Leijen, Naoya Furudono

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

compiler optimizationtype systemeffect systemeffect handlersalgebraic effect

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Explicit effect subtyping
• Handling Algebraic Effects
• Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
• Type-indexed rows
• Type directed compilation of row-typed algebraic effects

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