Login / Signup
An Algebraic Characterization of Typability in ML with Subtyping.
Marcin Benke
Published in:
FoSSaCS (1999)
Keyphrases
</>
maximum likelihood
data sets
knowledge base
high quality
special case
axiomatic characterization
learning algorithm
database systems
co occurrence
em algorithm