Showing results 1 to 2 of 2
Title | Author(s) | Issue Date | |
---|---|---|---|
The Duality of Subtyping Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics | 2020 | ||
Union Types with Disjoint Switches Proceeding/Conference:36th European Conference on Object-Oriented Programming (ECOOP 2022) | 2022 |