A Strongly-Typed Self-Applicable Partial Evaluator.

John Launchbury

Published in: FPCA (1991)

Keyphrases

strongly typed
programming language
information retrieval
multiscale
general purpose
databases
computer vision
image processing
high level
training data
search algorithm
software engineering