Memoization in type-directed partial evaluation (2002)

by Vincent Balat, Olivier Danvy
Venue:Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, number 2487 in Lecture Notes in Computer Science