Danvy, O. Type-Directed Partial Evaluation. DPB 1995, 24.