A type-theoretic interpretation of standard ML.

Robert Harper Christopher A. Stone

Published in: Proof, Language, and Interaction (2000)

Keyphrases

maximum likelihood
information technology
real time
data sets
artificial intelligence
decision trees
bayesian networks
support vector
pattern recognition
em algorithm
multiple types
semantic interpretation