BALAT, V.; DANVY, O. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version). BRICS Report Series, v. 4, n. 43, 13 Jun. 1997.