is Type-Safe - Definitely.

Tobias Nipkow David von Oheimb

Published in: POPL (1998)

Keyphrases

real time
data sets
databases
genetic algorithm
e learning
pattern recognition
preprocessing
pairwise
information extraction