Login / Signup

Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

Julian MackayHannes MehnertAlex PotaninLindsay GrovesNicholas Cameron
Published in: FTfJP@ECOOP (2012)
Keyphrases