Memoization in Type-Directed Partial Evaluation.

Vincent Balat, Olivier Danvy

Browse the full GPCE paper archive.