A Denotational Account of Untyped Normalization by Evaluation.

Andrzej Filinski Henning Korsholm Rohde

Published in: FoSSaCS (2004)

Keyphrases

case study
preprocessing
evaluation method
evaluation model
data sets
social networks
high level
expert systems
evolutionary algorithm
information retrieval systems
evaluation methods