UUXML: A Type-Preserving XML Schema-Haskell Data Binding (2004)
| Venue: | In International Symposium on Practical Aspects of Declarative Languages (PADL’04), volume 3057 of LNCS |
| Citations: | 12 - 2 self |
BibTeX
@INPROCEEDINGS{Atanassow04uuxml:a,
author = {Frank Atanassow and Dave Clarke and Johan Jeuring},
title = {UUXML: A Type-Preserving XML Schema-Haskell Data Binding},
booktitle = {In International Symposium on Practical Aspects of Declarative Languages (PADL’04), volume 3057 of LNCS},
year = {2004},
pages = {71--85},
publisher = {SpringerVerlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a type-preserving 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.
