M.: A Comparative Revisitation of some Program Transformation Techniques, Partial Evaluation (1996)

by A Pettorossi, Proietti
Venue:number 1110 in Lecture Notes in Computer Science