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