Reynolds's defunctionalization technique is a whole-program transformation from higher-
order to first-order functional programs. We study practical applications of this transformation …

Deep learning has seen tremendous success over the past decade in computer vision,
machine translation, and gameplay. This success rests crucially on gradient-descent …

Proposed originally by Plotkin and Pretnar, algebraic effects and their handlers are a
leading-edge approach to computational effects: exceptions, mutable state, nondeterminism …

Algebraic effects and handlers have received a lot of attention recently, both from the
theoretical point of view and in practical language design. This stems from the fact that …

Effect handlers are a modern and increasingly popular approach to structuring
computational effects in functional programming languages. However, while their traditional …

Dynamic binding and delimited control are useful together in many settings, including Web
applications, database cursors, and mobile code. We examine this pair of language features …

This document illustrates how functional implementations of formal semantics (structural
operational semantics, reduction semantics, small-step and big-step abstract machines …

We materialize the common understanding that calculi with explicit substitutions provide an
intermediate step between an abstract specification of substitution in the lambda-calculus …

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 …

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 …