Continuation passing style for effect handlers
We present Continuation Passing Style (CPS) translations for Plotkin and Pretnar's effect
handlers with Hillerström and Lindley's row-typed fine-grain call-by-value calculus of effect …
handlers with Hillerström and Lindley's row-typed fine-grain call-by-value calculus of effect …
Compiling effect handlers in capability-passing style
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 …
control flow. As of today, this abstraction comes at a significant price in performance. In this …
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
We compare the expressive power of three programming abstractions for user-defined
computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and …
computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and …
Typed equivalence of effect handlers and delimited control
M Piróg, P Polesiuk, F Sieczkowski - 4th International Conference …, 2019 - drops.dagstuhl.de
It is folklore that effect handlers and delimited control operators are closely related: recently,
this relationship has been proved in an untyped setting for deep handlers and the shift_0 …
this relationship has been proved in an untyped setting for deep handlers and the shift_0 …
Effect handlers via generalised continuations
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 …
with user-defined effects. This paper focuses on foundations for implementing effect …
On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
We compare the expressive power of three programming abstractions for user-defined
computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and …
computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and …
Foundations for programming and implementing effect handlers
D Hillerström - 2022 - era.ed.ac.uk
First-class control operators provide programmers with an expressive and efficient means for
manipulating control through reification of the current control state as a first-class object …
manipulating control through reification of the current control state as a first-class object …
Subtyping delimited continuations
M Materzok, D Biernacki - ACM SIGPLAN Notices, 2011 - dl.acm.org
We present a type system with subtyping for first-class delimited continuations that
generalizes Danvy and Filinski's type system for shift and reset by maintaining explicit …
generalizes Danvy and Filinski's type system for shift and reset by maintaining explicit …
Reflecting stacked continuations in a fine-grained direct-style reduction theory
D Biernacki, M Pyzik, F Sieczkowski - Proceedings of the 23rd …, 2021 - dl.acm.org
The delimited-control operator shift0 has been formally shown to capture the operational
semantics of deep handlers for algebraic effects. Its CPS translation generates λ-terms in …
semantics of deep handlers for algebraic effects. Its CPS translation generates λ-terms in …
Typing, representing, and abstracting control: functional pearl
P Schuster, JI Brachthäuser - Proceedings of the 3rd ACM SIGPLAN …, 2018 - dl.acm.org
A well known technique to implement programming languages with delimited control
operators shift and reset is to translate programs into continuation passing style (CPS). We …
operators shift and reset is to translate programs into continuation passing style (CPS). We …