Nagy, Gergely, Oláh Gábor, and Porkoláb Zoltán. “Type Inference of Simple Recursive Functions in Scala”. Acta Cybernetica 25, no. 4 (October 22, 2020): 797–815. Accessed March 29, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4098.