Balat, V. and Danvy, O. 1997. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version). BRICS Report Series. 4, 43 (Jun. 1997). DOI:https://doi.org/10.7146/brics.v4i43.18969.