A Type System with Subtyping for WebAssembly's Stack Polymorphism. - Dylan McDermott; Yasuaki Morita; Tarmo Uustalu (ICTAC, 2022)