Retrofitting effect handlers onto OCaml

KC Sivaramakrishnan, S Dolan, L White… - Proceedings of the …, 2021 - dl.acm.org
Effect handlers have been gathering momentum as a mechanism for modular programming
with user-defined effects. Effect handlers allow for non-local control flow mechanisms such …

Effects as capabilities: effect handlers and lightweight effect polymorphism

JI Brachthäuser, P Schuster, K Ostermann - Proceedings of the ACM on …, 2020 - dl.acm.org
Effect handlers have recently gained popularity amongst programming language
researchers. Existing type-and effect systems for effect handlers are often complicated and …

Binders by day, labels by night: effect instances via lexically scoped handlers

D Biernacki, M Piróg, P Polesiuk… - Proceedings of the ACM …, 2019 - dl.acm.org
Handlers of algebraic effects aspire to be a practical and robust programming construct that
allows one to define, use, and combine different computational effects. Interestingly, a critical …

Reachability types: tracking aliasing and separation in higher-order functional programs

Y Bao, G Wei, O Bračevac, Y Jiang, Q He… - Proceedings of the ACM …, 2021 - dl.acm.org
Ownership type systems, based on the idea of enforcing unique access paths, have been
primarily focused on objects and top-level classes. However, existing models do not as …

Effekt: Capability-passing style for type-and effect-safe, extensible effect handlers in Scala

JI Brachthäuser, P Schuster… - Journal of Functional …, 2020 - cambridge.org
Effect handlers are a promising way to structure effectful programs in a modular way. We
present the Scala library Effekt, which is centered around capability passing and …

Doo bee doo bee doo

L Convent, S Lindley, C McBride… - Journal of Functional …, 2020 - cambridge.org
We explore the design and implementation of Frank, a strict functional programming
language with a bidirectional effect type system designed from the ground up around a …

Soundly Handling Linearity

W Tang, D Hillerström, S Lindley… - Proceedings of the ACM on …, 2024 - dl.acm.org
We propose a novel approach to soundly combining linear types with multi-shot effect
handlers. circear type systems statically ensure that resources such as file handles and …

A general fine-grained reduction theory for effect handlers

F Sieczkowski, M Pyzik, D Biernacki - Proceedings of the ACM on …, 2023 - dl.acm.org
Effect handlers are a modern and increasingly popular approach to structuring
computational effects in functional programming languages. However, while their traditional …

A separation logic for effect handlers

PE de Vilhena, F Pottier - Proceedings of the ACM on Programming …, 2021 - dl.acm.org
User-defined effects and effect handlers are advertised and advocated as a relatively easy-
to-understand and modular approach to delimited control. They offer the ability of …

Compiling effect handlers in capability-passing style

P Schuster, JI Brachthäuser, K Ostermann - Proceedings of the ACM on …, 2020 - dl.acm.org
Effect handlers encourage programmers to abstract over repeated patterns of complex
control flow. As of today, this abstraction comes at a significant price in performance. In this …