Danvy, O. Pragmatic Aspects of Type-Directed Partial Evaluation. BRICS 1996, 3.