Normalization by evaluation for sized dependent types.

Andreas Abel Andrea Vezzosi Théo Winterhalter

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

data sets
search engine
digital libraries
gold standard
evaluation process
real world
three dimensional
multi agent
video sequences
cooperative
evaluation method
evaluation model
evaluation framework