The last few years have seen a renewed interest in continuations for expressing advanced
control structures in programming languages, and new models such as Abstract …

The phrase 2 liters of oil is a pseudopartitive. It includes a measure phrase, 2 liters, and a
substantive indicating what kind of substance is measured. I can use 2 liters ofoil to talk …

Moggi's Computational Monads and Power et al.'s equivalent notion of Freyd category have
captured a large range of computational effects present in programming languages …

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

We present a general theory of scope and binding in which both crossover and superiority
violations are ruled out by one key assumption: that natural language expressions are …

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 …

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 …

Two general techniques for implementing a domain-specific language (DSL) with less
overhead are the finally-tagless embedding of object programs and the direct-style …

We describe the implementation of first-class polymorphic delimited continuations in the
programming language Scala. We use Scala's pluggable typing architecture to implement a …

Delimited continuations are more expressive than traditional abortive continuations and they
apparently require a framework beyond traditional continuation-passing style (CPS). We …