Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona. Corecursive Featherweight Java Revisited. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 158-170, CEUR-WS.org, 2019. [doi]
Abstract is missing.