Sign in

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

Kim B. BruceJohn 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