WebAssembly (Wasm) is a low-level portable code format offering near nat...
We propose a novel approach to soundly combining linear types with effec...
Structural subtyping and parametric polymorphism provide a similar kind ...
We study the fundamental efficiency of delimited control. Specifically, ...
share