Ce Duce

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

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