Deciding equivalence with sums and the empty type.

Gabriel Scherer

Published in: POPL (2017)

Keyphrases

data sets
reinforcement learning
information retrieval
feature selection
image processing
similarity measure
video sequences