No. 43 (1997): RS-43 Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version)