< 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].
(1996-06-07)