Artículo 86

Artículo:

Towards an Extrinsic Formalization of Featherweight Java in Agda

Autor:

Samuel Feitosa, Rodrigo Geraldo Ribeiro and Andre Rauber Du Bois

Video de Presentación