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 …

Reasoning about the use of external resources is an important aspect of many practical
applications. Effect systems enable tracking such information in types, but at the cost of …

Type systems usually characterize the shape of values but not their free variables. However,
many desirable safety properties could be guaranteed if one knew the free variables …

Effect handlers have recently gained popularity amongst programming language
researchers. Existing type-and effect systems for effect handlers are often complicated and …

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 …

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 …

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 …

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 …

We consider a simple yet expressive λ-calculus equipped with references, effect handlers,
and dynamic allocation of effect labels, and whose operational semantics does not involve …

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 …