Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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: Bauer and Pretnar's effect handlers,
Filinski's monadic reflection, and delimited control without
answer-type-modification. This comparison allows a precise discussion about the
relative expressiveness of each programming abstraction. It also demonstrates
the sensitivity of the relative expressiveness of user-defined effects to
seemingly orthogonal language features. We present three calculi, one per
abstraction, extending Levy's call-by-push-value. For each calculus, we present
syntax, operational semantics, a natural type-and-effect system, and, for
effect handlers and monadic reflection, a set-theoretic denotational semantics.
We establish their basic meta-theoretic properties: safety, termination, and,
where applicable, soundness and adequacy. Using Felleisen's notion of a macro
translation, we show that these abstractions can macro-express each other, and
show which translations preserve typeability. We use the adequate finitary
set-theoretic denotational semantics for the monadic calculus to show that
effect handlers cannot be macro-expressed while preserving typeability either
by monadic reflection or by delimited control. We supplement our development
with a mechanised Abella formalisation.

6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph