Balat, Vincent, and Olivier Danvy. “Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)”. BRICS Report Series 4, no. 43 (June 13, 1997). Accessed December 18, 2024. https://tidsskrift.dk/brics/article/view/18969.