Program Transformation With Metasystem Transitions (1993)

by V Turchin
Venue:Journal of Functional Programming