Xduce

("transduce")

Haruo Hosoya et al

A typed language designed for processing XML documents as data. XDuce's values correspond to XML data; its types correspond to DTD's.