Umut A. Acar Guy E. Blelloch Robert Harper Selective memoization. 14-25 2003 POPL http://doi.acm.org/10.1145/640128.604133 db/conf/popl/popl2003.html#AcarBH03