Type inference for GADTs, outsidein and anti-unification.

Gabriela Moreira Cristiano D. Vasconcellos Rodrigo Geraldo Ribeiro

Published in: SBLP (2018)

Keyphrases

anti unification
analogy making
inductive learning
higher order
inference process
case based reasoning
first order logic
machine learning
artificial intelligence
bayesian inference
probabilistic reasoning