O. Danvy, “Type-Directed Partial Evaluation”, DPB, vol. 24, no. 494, Nov. 1995.