Type-directed partial evaluation (extended abstract (1995)

by Olivier Danvy