Nagy, Gergely, OláhGábor, and PorkolábZoltán. “Type Inference of Simple Recursive Functions in Scala”. Acta Cybernetica 25, no. 4 (October 22, 2020): 797-815. Accessed April 27, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4098.