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.