Pragmatic aspects of type-directed partial evaluation (1996)

by Olivier Danvy
Venue:In Partial Evaluation, Proceedings