Implementing typeful program transformations (2003)

by Chiyan Chen, Hongwei Xi
Venue:In ACM Workshop on Evaluation and Semantics-Based Program Manipulation (PEPM