First-Class Type Classes.

Matthieu Sozeau Nicolas Oury

Published in: TPHOLs (2008)

Keyphrases

class hierarchy
class labels
target class
multiple classes
multi class problems
real time
training data
multi class classification
information systems
object classes
classification trees
positive and negative examples
class membership
recursive functions
tractable cases