research
∙
08/16/2023
Continuing WebAssembly with Effect Handlers
WebAssembly (Wasm) is a low-level portable code format offering near nat...
share
research
∙
07/18/2023
Soundly Handling Linearity
We propose a novel approach to soundly combining linear types with effec...
research
∙
04/17/2023
Structural Subtyping as Parametric Polymorphism
Structural subtyping and parametric polymorphism provide a similar kind ...
research
∙
07/01/2020
