O. Danvy, “Online Type-Directed Partial Evaluation”, BRICS, vol. 4, no. 53, Jun. 1997.