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 November 24, 2020. https://tidsskrift.dk/brics/article/view/18969.