Type-changing rewriting and semantics-preserving transformation
Sean Leather, Johan T. Jeuring, Andres Löh, Bram Schuur · 2014
We have identified a class of regular, whole-program transformations that cannot be safely performed with typical transformation techniques because transformation requires changing the types of terms. In these transformations, we want to change typically large parts of a program from using one type to using another type while simultaneously preserving the original program semantics after transformation.