Type Inference of Simple Recursive Functions in Scala.

Gergely Nagy Gábor Oláh Zoltán Porkoláb

Published in: Acta Cybern. (2021)

Keyphrases

recursive functions
inductive inference
bayesian networks
data sets
domain knowledge
grammatical inference