TrafoLa

TrafoLa

(language)
A functional programming language designed in the PROSPECTRA ESPRIT project to support declarative specification of program transformations. It provides higher-order pattern matching on expression trees with backtracking.

[Heckmann88].
Mentioned in ?
References in periodicals archive ?
Other eager higher-order languages include Caml [Weis and Leroy 1993], which was implemented using the categorical abstract machine, and Trafola [Alt et al.