Principality and type inference for intersection types using expansion variables.

A. J. Kfoury J. B. Wells

Published in: Theor. Comput. Sci. (2004)

Keyphrases

multiple types
knowledge base
probabilistic inference
artificial intelligence
bayesian networks
relevant variables
neural network
real world
information retrieval
search engine
decision trees
high dimensional
maximum likelihood
variable selection
state variables
special features