CDuce: Home page
A typed, functional programming language adapted to the manipulation of XML documents.