Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. Towards an Extrinsic Formalization of Featherweight Java in Agda. CLEI Electron. J., 24(3), 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.