Title: UUXML: A type-preserving XML schema-Haskell data binding
Authors: Atanassow, Frank ×
Clarke, Dave
Jeuring, Johan #
Issue Date: May-2004
Publisher: Springer
Series Title: Lecture notes in computer science vol:3057 pages:71-85
Conference: PADL edition:6 location:Dallas, USA date:June 2004
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
padl04.pdfMain article Published 203KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science