Partial evaluation (1997)

by T Mogensen, P Sestoft
Venue:Encyclopedia of Computer Science and Technology, Marcel Decker