PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.

Kim B. Bruce John C. Mitchell

Published in: POPL (1992)

Keyphrases

higher order
probabilistic model
markov models
database
neural network
learning algorithm
pairwise
prior knowledge
learning models
parametric models