Login / Signup
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation.
Sébastien Carlier
J. B. Wells
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
multiple types
inference process
abductive reasoning
inference mechanism
database
machine learning
pairwise
artificial intelligence
computer vision
information systems
relational databases
computational model
random fields