Type Inference for GADTs and Anti-unification.

Adelaine Gelain Cristiano D. Vasconcellos Carlos Camarão Rodrigo Geraldo Ribeiro

Published in: SBLP (2015)

Keyphrases

anti unification
higher order
analogy making
data mining
bayesian networks
artificial intelligence
pairwise
inductive learning