Andreas Stadelmeier

According to our database, Andreas Stadelmeier authored at least 6 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Global Type Inference for Java using Answer Set Programming.

Andreas Stadelmeier, Martin Plümicke

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2022

Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact).

Andreas Stadelmeier, Martin Plümicke, Peter Thiemann

Dagstuhl Artifacts Ser., 2022

Global Type Inference for Featherweight Generic Java.

Andreas Stadelmeier, Martin Plümicke, Peter Thiemann

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2017

Introducing Scala-like function types into Java-TX.

Martin Plümicke, Andreas Stadelmeier

Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

2015

Adding overloading to Java type inference.

Andreas Stadelmeier, Martin Plümicke

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Java type inference as an Eclipse plugin.

Andreas Stadelmeier

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015