Cduce

Cduce is a modern XML-oriented functional language with innovative features written by Alain Frisch. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offer powerful constructions to work with XML documents.

Site: http://www.cduce.org/