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.

In addition suitable contents:
[ af ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ at ] [ b ] [ br ] [ ca ] [ cat ] [ ch ] [ ci ] [ ck ] [ co ] [ con ] [ cons ] [ de ] [ ec ] [ ed ] [ er ] [ es ] [ et ] [ extend ] [ fi ] [ fo ] [ for ] [ Fun ] [ ge ] [ gr ] [ gu ] [ h ] [ hing ] [ in ] [ io ] [ it ] [ ke ] [ ken ] [ km ] [ la ] [ language ] [ ly ] [ M ] [ ma ] [ man ] [ mo ] [ na ] [ nc ] [ ng ] [ nn ] [ ns ] [ nu ] [ pa ] [ pe ] [ ph ] [ polymorphic ] [ pr ] [ program ] [ program transformation ] [ re ] [ rl ] [ ro ] [ ru ] [ S ] [ spec ] [ specification ] [ st ] [ statically typed ] [ struct ] [ T ] [ tc ] [ th ] [ tr ] [ transformation ] [ tt ] [ type ] [ ua ]