Rémi Forax, Gilles Roussel. Recursive Types and Pattern-Matching in Java. In Krzysztof Czarnecki, Ulrich W. Eisenecker, editors, Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers. Volume 1799 of Lecture Notes in Computer Science, pages 147-164, Springer, 1999. [doi]