Nagy, G., OláhG. and PorkolábZ. 2020. Type Inference of Simple Recursive Functions in Scala. Acta Cybernetica. 25, 4 (Oct. 2020), 797-815. DOI:https://doi.org/10.14232/actacyb.282762.