Skip to content

Analysis of MiniJava programs via translation to ML.

Martin Mariusz Lester

VenueAECOOP
Year2019
ProceedingsFTfJP@ECOOP

Browse the full ECOOP paper archive.