Type-directed partial evaluation, in (1998)

by O Danvy
Venue:Proc. Partial Evaluation