Trafola-H - A specification language for program transformations.
Functional, statically typed, polymorphic, with extended constructs for
pattern-matching. "Trafola-H Reference Manual", R. Heckmann et al, U
Saarlandes, Saarbrucken 1991.
Comments, Experience, Additions
Next Language: Traits