MARVIN
University of Dortmund, 1984
An applicative language based on Modula-2, enhanced by signatures (grammars), terms (trees), and attribute couplings (functions on trees). It was used for specification of language translators.
"MARVIN - A Tool for Applicative and Modular Compiler Specification", H. Ganziger et al, Forsch 220, University of Dortmund, July 1986.