Type Inference with Recursive Type Equations.

Published in: FoSSaCS (2001)

Keyphrases

artificial intelligence
information systems
pairwise
database
real time
data mining
learning algorithm
knowledge base
image processing
case study
three dimensional
objective function
artificial neural networks