Subtyping and intersection types revisited.

Published in: ICFP (2007)

Keyphrases

real time
artificial neural networks
feature extraction
databases
social networks
information systems
training data
special case
mobile robot