Vincent Balat Olivier Danvy Memoization in Type-Directed Partial Evaluation. 78-92 2002 conf/gpce/2002 GPCE http://link.springer.de/link/service/series/0558/bibs/2487/24870078.htm db/conf/gpce/gpce2002.html#BalatD02