A type system with subtyping for Webassembly’s stack polymorphism

autor
vastutusandmed
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 305-323
konverentsi nimetus, aeg
ICTAC 2022 : Theoretical Aspects of Computing : 19th International Colloquium, September 27-30, 2022
konverentsi toimumispaik
Tbilisi, Georgia
kvartiil
Q3
kategooria (üld)
võtmesõna
WebAssembly
ISSN
0302-9743
ISBN
978-3-031-17714-9
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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 Switzerland AG, 2022. p. 305-323. (Lecture notes in computer science ; 13572). https://doi.org/10.1007/978-3-031-17715-6_20