Deriving a Statically Typed Type-Directed Partial Evaluator.

Published in: PEPM (1999)

Keyphrases

higher order
fixed order
three dimensional
databases
multimedia
case study
multiscale
artificial neural networks
image registration