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