Corecursive Featherweight Java Revisited. Barbieri, P., Dagnino, F., Zucca, E., & Ancona, D. In Cherubini, A., Sabadini, N., & Tini, S., 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, 2019. CEUR-WS.org.
Corecursive Featherweight Java Revisited [pdf]Paper  bibtex   

Downloads: 0