Olivier Danvy: Online Type-Directed Partial Evaluation. Fuji International Symposium on Functional and Logic Programming 1998: 271-295