Denotational aspects of untyped normalization by evaluation.

Andrzej Filinski Henning Korsholm Rohde

Published in: RAIRO Theor. Informatics Appl. (2005)

Keyphrases

main aspects
databases
evaluation method
real time
data sets
artificial intelligence
computer vision
website
decision trees
image segmentation
empirical evaluation
operational semantics