Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation.

Published in: ICFP-WGP (2010)

Keyphrases

gold standard
data sets
machine learning
high level
evaluation method
database
artificial intelligence
website
digital libraries
user interface
special case
evaluation methods
comparative evaluation
type checking