[1]
G. Nagy, OláhG., and PorkolábZ., “Type Inference of Simple Recursive Functions in Scala”, Acta Cybern, Oct. 2020.