Nr. 15 (1996): RS-15 Pragmatic Aspects of Type-Directed Partial Evaluation