Sciweavers

PADL
2004
Springer

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

14 years 4 months ago
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.
Frank Atanassow, Dave Clarke, Johan Jeuring
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PADL
Authors Frank Atanassow, Dave Clarke, Johan Jeuring
Comments (0)