Nagy, G., Oláh G., & Porkoláb Z. (2020). Type Inference of Simple Recursive Functions in Scala. Acta Cybernetica, 25(4), 797–815. https://doi.org/10.14232/actacyb.282762