Partial evaluation (1997)

by T Mogensen, P Sestoft
Venue:In Encyclopedia of Computer Science