Deva

A functional language.

"The Generic Development Language Deva: Presentation and Case Studies", M. Weber et al, Lecture Notes in Computer Science 738, Springer-Verlag, 1993.