Coeffects for MiniJava: Cf-Mj. - Paola Giannini; Giulio Duso (FTfJP@ECOOP, 2024)