A Framework for Type Inference with Subtyping.

François Pottier

Published in: ICFP (1998)

Keyphrases

main contribution
databases
case study
reinforcement learning
special case
search engine
probabilistic model
theoretical framework
belief revision