Opin vísindi

Fletta eftir DOI "10.1007/978-3-031-17715-6_20"

Fletta eftir DOI "10.1007/978-3-031-17715-6_20"

Röðun: Raða: Niðurstöður:

  • Icon
    A type system with subtyping for WebAssembly’s stack polymorphism 
    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 ...