Login / Signup
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction.
Sébastien Carlier
J. B. Wells
Published in:
PPDP (2004)
Keyphrases
</>
multiple types
bayesian networks
data mining
variable selection
structured prediction
real time
decision trees
knowledge representation
maximum likelihood
bayesian inference
approximate inference
inference engine
reduction method
inference process
factor graphs