Analyzing Scale-Free Properties in Erlang and Scala. - Gábor Oláh; Gergely Nagy; Zoltán Porkoláb (CEFP, 2015)

Type Inference of Simple Recursive Functions in Scala. - Gergely Nagy; Gábor Oláh; Zoltán Porkoláb (Acta Cybern., 2021)