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