O. Danvy, “Pragmatic Aspects of Type-Directed Partial Evaluation”, BRICS, vol. 3, no. 15, Jan. 1996.