Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.

Vincent Balat Olivier Danvy

Published in: Types in Compilation (1998)

Keyphrases

partial evaluation
code generation
explanation based generalization
application development
software development
code generator
real world
higher order
model driven
artificial intelligence
user interface
active learning
rapid prototyping
software reuse