Principal Types and Unification for a Simple Intersection Type System

Mario Coppo Paola Giannini

Published in: Inf. Comput. (1995)

Keyphrases

multiple types
highly reliable
machine learning
real world
information retrieval
learning algorithm
computer vision
information systems
case study
three dimensional
preprocessing
artificial neural networks
multiresolution
probability distribution
co occurrence
higher order