Nagy Gergely; Oláh Gábor; Porkoláb Zoltán: Type inference of simple recursive functions in Scala. In: Acta cybernetica, (25) 4. pp. 797-815. (2022)