(1)
Balat, V.; Danvy, O. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version). BRICS 1997, 4.