Normalization by evaluation with typed abstract syntax.

Olivier Danvy Morten Rhiger Kristoffer Høgsbro Rose

Published in: J. Funct. Program. (2001)

Keyphrases

high level
computer vision
databases
image processing
preprocessing
higher order
higher level
evaluation process
real world
decision making
case study
natural language
empirical evaluation
evaluation method