A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305-323
https://doi.org/10.1007/978-3-031-17715-6_20
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85140780525&origin=inward&txGid=eaace2b9291a459cc8c277324c839832