Showing results 1 to 2 of 2
| Title | Author(s) | Issue Date | Views | |
|---|---|---|---|---|
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 |