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