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].

Nearby terms:

MartianMartin Marietta Laboratories MoorestownMARVINMaryMAS

Try this search on Wikipedia, Wiktionary, Google, OneLook.