scholar.google.com › citations
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with user-defined effects. This paper focuses on foundations for ...
Effect handlers via generalised continuations | Cambridge Core
www.cambridge.org › journals › article
Mar 16, 2020 · Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with user-defined effects.
Feb 17, 2019 · Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with user-defined effects.
This paper focuses on foundations for implementing effect handlers, for the three different kinds of effect handlers that have been proposed in the literature.
The key to implementing a CPS transformation for effect handlers is to generalise the notion of continuation to model a stack of effect handlers combined with ...
Plotkin and Pretnar's effect handlers offer a versatile abstraction for modular programming with user-defined effects. This paper focuses on foundations for ...
Mar 3, 2019 · There are even more generalised versions of delimited continuations and effect handlers that allow you to dynamically allocate new tokens that ...
Missing: via | Show results with:via
People also ask
What are effect handlers?
This paper gives two distinct foundational implementations of a continuation-passing style (CPS) transformation and a CEK-style abstract machine for ...
Abstract. We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar's effect hand- lers with Hillerström and Lindley's row-typed ...
Sep 25, 2023 · Algebraic effects and handlers are a uniform abstraction for expressing compu- tational effects. The abstraction enables modular development ...