Martin Plümicke. Type unification for structural types in Java (Extended Abstract). In Silvio Ghilardi, Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. pages 49, 2016. [doi]
Abstract is missing.