Martin Mariusz Lester: Analysis of MiniJava programs via translation to ML. FTfJP@ECOOP 2019: 6:1-6:3