Selective memoization.

Umut A. Acar, Guy E. Blelloch, Robert Harper

Browse the full POPL paper archive.