Nagy, Gergely, OláhGábor, and PorkolábZoltán. “Type Inference of Simple Recursive Functions in Scala”. Acta Cybernetica00 (October 22, 2020). Accessed October 7, 2022. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4098.