Union Types with Disjoint Switches

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. D. S. Oliveira. Union Types with Disjoint Switches. In Karim Ali 0001, Jan Vitek, editors, 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. Volume 222 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: