Selective memoization (2003)

by Umut A Acar, Guy E Blelloch, Robert Harper
Venue:In POPL