Martin Plümicke

According to our database, Martin Plümicke authored at least 20 papers between 1999 and 2024.

Collaborative distances:

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

2024

Completing the Functional Approach in Object-Oriented Languages.

Martin Plümicke

Proceedings of the A Second Soul: Celebrating the Many Languages of Programming, 2024

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

2016

Type unification for structural types in Java (Extended Abstract).

Martin Plümicke

Proceedings of the 30th International Workshop on Unification, 2016

Structural Type Inference in Java-like Languages.

Martin Plümicke

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

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

2014

Functional Interfaces vs. Function Types in Java with Lambdas.

Martin Plümicke

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

More Type Inference in Java 8.

Martin Plümicke

Proceedings of the Perspectives of System Informatics, 2014

2013

Integrated Campus Portal.

Martin Plümicke

Proceedings of the Novel Methods and Technologies for Enterprise Information Systems, 2013

2011

Well-typings for Java_λ.

Martin Plümicke

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

2008

Intersection types in Java.

Martin Plümicke

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Subtyping in Java 5.0.

Martin Plümicke

Proceedings of the Information Technology and Computer Science, 2008

2007

Java Type Unification with Wildcards.

Martin Plümicke

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Typeless programming in Java 5.0 with wildcards.

Martin Plümicke

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006

Typ-Inferenz in Java 5.0.

Martin Plümicke

Softwaretechnik-Trends, 2006

Typeless programming in Java 5.0.

Martin Plümicke, Jörg Bäuerle

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

2004

ARIS meets RUP: The ARIS Unified Information System Development Process.

Martin Plümicke

Proceedings of the EPK 2004, 2004

1999

OBJ-P: the polymorphic extension of OBJ-3.

Martin Plümicke

PhD thesis, 1999

Polymorphism in OBJ-P.

Martin Plümicke

Proceedings of the Perspectives of System Informatics, 1999