Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. Deconfined Intersection Types in Java. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.