Polymorphic Type Inference and Assignment.

Xavier Leroy Pierre Weis

Published in: POPL (1991)

Keyphrases

type checking
search engine
pairwise
probabilistic inference
database
neural network
information retrieval
social networks
optimal solution
random fields
grammatical inference