White Papers

Type Isomorphisms Simplify XML Programming

Overview A program that processes XML documents can be implemented using an XML data binding. Programming with an XML data binding can be painful, because the classes or types generated by the data binding are not in the style native to the host language. JAXB, a Java-XML data binding, supports binding customizations to mitigate this problem. Programming with a type-safe binding such as the Haskell-XML data binding is even worse. To address this problem, rather than employing binding customizations, the paper exploits the theory of type isomorphisms to generically produce conversions between the complex datatypes generated by the binding, and more conventional Haskell-style datatypes.

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

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

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 t

Publisher: Utrecht University  |  Tags: data

Combining Multiple Knowledge Representation Technologies Into Agent Programming Languages

Combining Multiple Knowledge Representation Technologies Into Agent Programming Languages

In most agent programming languages in practice a programmer is committed to the use of a single knowledge representatio

Publisher: Utrecht University

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