A Complete Type Inference System for Subtyped Recursive Types.

Tatsurou Sekiguchi Akinori Yonezawa

Published in: TACS (1994)

Keyphrases

multiple types
machine learning
bayesian networks
database
learning algorithm
web services
high level
data structure
expert systems
artificial neural networks
evolutionary algorithm
multiresolution
special case
type checking