(Actually "CDuce", pronounced "seduce".)

A ProgrammingLanguage designed to support StaticallyTypesafe manipulation of XML data, using SemanticSubtyping.

http://www.cduce.org/

----
CategoryProgrammingLanguage CategoryXml