2026-07-21T23:35:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16256 2024-03-06T10:56:36Z ddc:004 open_access

Global Type Inference for Featherweight Generic Java Stadelmeier, Andreas Plümicke, Martin Thiemann, Peter type inference Java subtyping generics Java’s type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and field specifications, our inference algorithm infers all method types if classes do not make use of polymorphic recursion. The algorithm is constraint-based and improves on prior work in several respects. Despite the restricted setting, global type inference for FGJ is NP-complete. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Andreas Stadelmeier and Martin Plümicke and Peter Thiemann 2022 Is Part Of LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2022.28 urn:nbn:de:0030-drops-162560 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.28 eng https://creativecommons.org/licenses/by/4.0/legalcode