U Dortmund, 1984. Applicative language based on Modula-2,
enhanced by signatures (grammars) terms (trees) and attribute
couplings (functions on trees). Used for specification of
language translators.
["MARVIN - A Tool for Applicative and Modular Compiler
Specification", H. Ganziger et al, Forsch 220, U Dortmund,
Jul 1986].