V. Balat and O. Danvy, “Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)”, BRICS, vol. 4, no. 43, Jun. 1997.