research
∙
08/16/2023
Continuing WebAssembly with Effect Handlers
WebAssembly (Wasm) is a low-level portable code format offering near nat...
share
research
∙
07/25/2023
Higher-Order Asynchronous Effects
We explore asynchronous programming with algebraic effects. We complemen...
research
∙
05/28/2020
Explicit Effect Subtyping
As popularity of algebraic effects and handlers increases, so does a dem...
research
∙
05/27/2020
Local Algebraic Effect Theories
Algebraic effects are computational effects that can be described with a...
research
∙
03/04/2020
Asynchronous effects
We explore asynchronous programming with algebraic effects. We complemen...
research
∙
02/17/2018