White Papers

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

Overview 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. The translation is based on a formal semantics of Schema, and has been proved sound with respect to the semantics. The paper also shows a program in Generic Haskell that constructs parsers specialized to a particular Schema type.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
Utrecht University
File Format
PDF
Date Published
Dec 4, 2008
Format
White Papers
Topics
XML, Programming Languages

Similiar White Papers

MSDN Webcast: AJAX Support in Visual Studio 2008 (Level 200)

MSDN Webcast: AJAX Support in Visual Studio 2008 (Level 200)

Asynchronous JavaScript and XML (AJAX) has become a great way to get more value out of the Web applications. This webcas

Publisher: Microsoft  |  Tags: applications

Using XMLEncoder

Using XMLEncoder

This paper covers advanced use of XMLEncoder, showing how it can be configured to create archives of any Java objects -

Publisher: Sun Microsystems  |  Tags: java

Using the SAS Output Delivery System and PROC TEMPLATE to Create XHTML Files

Using the SAS Output Delivery System and PROC TEMPLATE to Create XHTML Files

SAS 8.2 introduced the ODS MARKUP statement, allowing users to export to a variety of markup languages, including HTML,

Publisher: SAS Institute

Web Services Interoperability Between Apache Axis2 and the WebSphere Web Services Feature Pack, Part 1

Web Services Interoperability Between Apache Axis2 and the WebSphere Web Services Feature Pack, Part 1

The WebSphere Application Server Version 6.1 Feature Pack for Web Services (hereafter called WSFP) includes a set of Jav

Publisher: IBM  |  Tags: api, java, qos, server

Build an Online Reporting Application Using Oracle XML Publisher

Build an Online Reporting Application Using Oracle XML Publisher

Part of the Oracle Fusion Middleware family of products, Oracle XML Publisher 5.6.2 is a Java-based product that gives t

Publisher: Oracle  |  Tags: acrobat, adobe acrobat, data

Utrecht University White Papers

Type Isomorphisms Simplify XML Programming

Type Isomorphisms Simplify XML Programming

A program that processes XML documents can be implemented using an XML data binding. Programming with an XML data bindin

Publisher: Utrecht University  |  Tags: data

Mobile Mementos: Expanded Archives, Fragmented Access

Mobile Mementos: Expanded Archives, Fragmented Access

Personal wireless communication devices such as mobile telephones are regularly presented as enabling technologies with

Publisher: Utrecht University  |  Tags: data

Designing Web Content Management Systems Using the Method Association Approach

Designing Web Content Management Systems Using the Method Association Approach

Model-driven web approaches focus on creating robust web applications. There are two downsides to using these model-driv

Publisher: Utrecht University  |  Tags: applications