Java type inference as an Eclipse plugin. - Andreas Stadelmeier (GI-Jahrestagung, 2015)

Adding overloading to Java type inference. - Andreas Stadelmeier; Martin Plümicke (Software Engineering (Workshops), 2015)

Introducing Scala-like function types into Java-TX. - Martin Plümicke; Andreas Stadelmeier (ManLang, 2017)

Global Type Inference for Featherweight Generic Java. - Andreas Stadelmeier; Martin Plümicke; Peter Thiemann 001 (ECOOP, 2022)

Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). - Andreas Stadelmeier; Martin Plümicke; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2022)