OLGA

Ouf! un Langage pour les Grammaires Attribuees.

Inria, 1985. Language for specification of attribute grammars, used as the input language of the compiler writing system FNC-2. Applicative, strongly typed, polymorphic, pattern-matching, modules.