Login / Signup
The Second Futamura Projection for Type-Directed Partial Evaluation.
Bernd Grobauer
Zhe Yang
Published in:
PEPM (2000)
Keyphrases
</>
partial evaluation
explanation based generalization
higher order
case based reasoning
software engineering