A type system with subtyping for WebAssembly's stack polymorphism

DOI10.1007/978-3-031-17715-6_20MaRDI QIDQ6109484

Dylan McDermott, Yasuaki Morita, Tarmo Uustalu

Publication date: 28 July 2023

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Type inference in stack based languages
• Graded monads and rings of polynomials
• Trace-Based Coinductive Operational Semantics for While
• Stack-based typed assembly language
• Quotienting the delay monad by weak bisimilarity
• Parametric effect monads and semantics of effect systems

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