Collapsing non-idempotent intersection types.

Published in: CSL (2012)

Keyphrases

decision trees
real time
data sets
information retrieval
artificial intelligence
search engine
website
image segmentation
evolutionary algorithm