A Versatile Constraint-Based Type Inference System.

François Pottier

Published in: Nord. J. Comput. (2000)

Keyphrases

decision trees
multi agent
constraint satisfaction
neural network
metadata
three dimensional
computer science
viewpoint
probabilistic model