An Inherently-Typed Formalization for Featherweight Java

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]

Authors

Samuel da Silva Feitosa

This author has not been identified. Look up 'Samuel da Silva Feitosa' in Google

Alejandro Serrano Mena

This author has not been identified. Look up 'Alejandro Serrano Mena' in Google

Rodrigo Geraldo Ribeiro

This author has not been identified. Look up 'Rodrigo Geraldo Ribeiro' in Google

André Rauber Du Bois

This author has not been identified. Look up 'André Rauber Du Bois' in Google