Vincent Balat, Olivier Danvy. Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation. In Xavier Leroy, Atsushi Ohori, editors, Types in Compilation, Second International Workshop, TIC 98, Kyoto, Japan, March 25-27, 1998, Proceedings. Volume 1473 of Lecture Notes in Computer Science, pages 240-252, Springer, 1998. [doi]
Abstract is missing.