Two flavors of offline partial evaluation (1998)

by Simon Helsen, Peter Thiemann
Venue:In 4th Asian Computing Science Conference