Bidirectional data-flow analyses compared to relational through Galois connectionsMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoNWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås2023 https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus