Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. An Inherently-Typed Formalization for Featherweight Java. In Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019. pages 11-18, ACM, 2019. [doi]
Abstract is missing.