McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo
(Springer, 2022-10-03)
We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...