Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.

Mark Day Robert Gruber Barbara Liskov Andrew C. Myers

Published in: OOPSLA (1995)

Keyphrases

first order logic
search space
website
bayesian networks
background knowledge
parametric models
data sets
neural network
information retrieval
social networks
horn clauses