full record print

A type system with subtyping for Webassembly’s stack polymorphism

author
statement of authorship
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
source
location of publication
Cham
publisher
year of publication
pages
p. 305-323
series
conference name, date
ICTAC 2022 : Theoretical Aspects of Computing : 19th International Colloquium, September 27-30, 2022
conference location
Tbilisi, Georgia
url
ISSN
0302-9743
ISBN
978-3-031-17714-9
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
High-assurance software laboratory
McDermott, D., Morita, Y., Uustalu, T. A type system with subtyping for Webassembly’s stack polymorphism // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature, 2022. p. 305-323. (Lecture notes in computer science ; 13572). https://doi.org/10.1007/978-3-031-17715-6_20