There is an impedance mismatch between message-passing concurrency and virtual
machines, such as the JVM. VMs usually map their threads to heavyweight OS processes …

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 …

We present a new programming model for deterministic parallel computation in a pure
functional language. The model is monadic and has explicit granularity, but allows dynamic …

Algebraic effects and handlers is an increasingly popular approach to programming with
effects. An attraction of the approach is its modularity: effectful programs are written against …

Asynchronous programming is having its “renaissance” moment in recent years. Created in
the 1980s, it was in use for quite some time, but with the advent of multi-core processors, it …

Tame is a new event-based system for managing concurrency in network applications. Code
written with Tame abstractions does not suffer from the “stackrip**” problem associated …

This paper proposes to combine two seemingly opposed programming models for building
massively concurrent network services: the event-driven model and the multithreaded …

Motivated by the problem of separating syntax from semantics in programming with
algebraic effects and handlers, we propose a categorical model of abstract syntax with so …

Graphics Processing Units (GPUs) are powerful computing devices that with the advent of
CUDA/OpenCL are becomming useful for general purpose computations. Obsidian is an …

Build systems are awesome, terrifying--and unloved. They are used by every developer
around the world, but are rarely the object of study. In this paper we offer a systematic, and …