Global Type Inference for Featherweight Generic Java

Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001. Global Type Inference for Featherweight Generic Java. 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]

Abstract

Abstract is missing.