UUXML: A Type-Preserving XML Schema-Haskell Data Binding

An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles documents typed by the W3C XML Schema standard. Our translation is based on a formal semantics of Schema, and has been proved sound with respect to the semantics. We also show a program in Generic Haskell that constructs parsers specialized to a particular Schema type.

• Type: Conference
• Year: 2004
• Where: PADL
• Authors: Frank Atanassow, Dave Clarke, Johan Jeuring
• Keywords: PADL 2004, Particular Schema Type, Programming Languages, W3C XML Schema, XML Data Binding