A type system with subtyping for Webassembly’s stack polymorphism
vastutusandmed
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 305-323
seeria-sari
konverentsi nimetus, aeg
ICTAC 2022 : Theoretical Aspects of Computing : 19th International Colloquium, September 27-30, 2022
konverentsi toimumispaik
Tbilisi, Georgia
ISSN
0302-9743
ISBN
978-3-031-17714-9
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
WebAssembly
kategooria (üld)
kategooria (alam)
Uurimisrühm
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).