Automatic type inference via partial evaluation.

Aaron Tomb Cormac Flanagan

Published in: PPDP (2005)

Keyphrases

partial evaluation
explanation based generalization
bayesian networks
data sets
databases
higher order
database
decision trees
support vector
pairwise
software engineering
positive and negative