A Comparative Revisitation of Some Program Transformation Techniques (1996)

by A Pettorossi, M Proietti
Venue:In Partial Evaluation, Int’l Seminar, Dagstuhl