Yican Sun, Xuanyu Peng, Yingfei Xiong: Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7(OOPSLA2): 89-115 (2023)