V. Balat og O. Danvy, “Memoization in Type-Directed Partial Evaluation”, BRICS, bd. 9, nr. 33, jul. 2002.