Dependent types from counterexamples.

Tachio Terauchi

Published in: POPL (2010)

Keyphrases

neural network
information retrieval
pattern recognition
computational complexity
machine learning
metadata
image processing
query processing
scheduling problem