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]

Authors

Andreas Stadelmeier

This author has not been identified. Look up 'Andreas Stadelmeier' in Google

Martin Plümicke

This author has not been identified. Look up 'Martin Plümicke' in Google

Peter Thiemann 0001

This author has not been identified. Look up 'Peter Thiemann 0001' in Google