A type system with subtyping for WebAssembly's stack polymorphism

DOI10.1007/978-3-031-17715-6_20MaRDI QIDQ6109484zbMATH OpenFDO

Authors Dylan McDermott, Yasuaki Morita, Tarmo Uustalu

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_20

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Graded monads and rings of polynomials
• scientific article; zbMATH DE number 3328203 (Why is no real title available?)
• Parametric effect monads and semantics of effect systems
• Quotienting the delay monad by weak bisimilarity
• Stack-based typed assembly language
• Trace-Based Coinductive Operational Semantics for While
• Type inference in stack based languages

This page was built for publication: A type system with subtyping for WebAssembly's stack polymorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6109484)