Balat, V.; Danvy, O. Memoization in Type-Directed Partial Evaluation. BRICS 2002, 9.