Balat, V., and O. Danvy. “Memoization in Type-Directed Partial Evaluation”. BRICS Report Series, vol. 9, no. 33, July 2002, doi:10.7146/brics.v9i33.21748.