Type-directed partial evaluation (1996)

by Olivier Danvy
Venue:Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages