Type Inference: Some Results, Some Problems.

Paola Giannini Furio Honsell Simona Ronchi Della Rocca

Published in: Fundam. Informaticae (1993)

Keyphrases

machine learning
inference problems
information retrieval
website
data structure
np complete
application domains
inference engine
solving problems
artificial intelligence
computer vision
decision making
relational databases
special case
related problems