View of Towards an Extrinsic Formalization of Featherweight Java in Agda

Return to Article Details Towards an Extrinsic Formalization of Featherweight Java in Agda Download Download PDF