A functional correspondence between call-by-need evaluators and lazy abstract machines.

Mads Sig Ager Olivier Danvy Jan Midtgaard

Published in: Inf. Process. Lett. (2004)

Keyphrases

low level
high level
evaluation criteria
point correspondences
higher level
functional analysis
np hard
database systems
lower bound
website
closed form
image processing
information systems
pixel wise
machine intelligence
learning machines
lazy learning
data sets