Discriminative sum types locate the source of type errors.

Matthias Neubauer Peter Thiemann

Published in: ICFP (2003)

Keyphrases

multiple types
neural network
semi supervised
knowledge base
decision trees
case study
hidden markov models
prediction error
discriminative classifiers
errors occur