G. Nagy, Oláh G., and Porkoláb Z., “Type Inference of Simple Recursive Functions in Scala”, Acta Cybern, vol. 25, no. 4, pp. 797–815, Oct. 2020.