V. Balat and O. Danvy, “Memoization in Type-Directed Partial Evaluation”, BRICS, vol. 9, no. 33, Jul. 2002.