Nagy, Gergely, Oláh Gábor, and Porkoláb Zoltán. 2020. “Type Inference of Simple Recursive Functions in Scala”. Acta Cybernetica 25 (4):797-815. https://doi.org/10.14232/actacyb.282762.