Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell

Authors:
Frank Atanassow;Johan Jeuring
Affiliations:
Center for Mathematics and Computer Science (CWI), P.O. Box 4079, NL-1090 GB Amsterdam, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508 TB Utrecht, The Netherlands and Open University, Heerlen, The Netherlands
Venue:
Science of Computer Programming
Year:
2007

Citing 19
Cited 1

Isomorphisms of types: from &lgr;-calculus to information retrieval and language design

Isomorphisms of types: from &lgr;-calculus to information retrieval and language design
Haskell and XML: generic combinators or type-based translation?

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Domain specific embedded compilers

Proceedings of the 2nd conference on Domain-specific languages
Type-indexed rows

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MSL — a model for W3C XML schema

Proceedings of the 10th international conference on World Wide Web
Types and programming languages

Types and programming languages
The Definition of Standard ML

The Definition of Standard ML
Coercive Type Isomorphism

Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
A Complete Axiom System for Isomorphism of Types in Closed Categories

LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Type-Based XML Processing in Logic Programming

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids

TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
XDuce: A Typed XML Processing Language (Preliminary Report)

Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
How to Repair Type Errors Automatically

SFP '01 Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01)
Type-Indexed Data Types

MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Retrieving Library Identifiers via Equational Matching of Types

Proceedings of the 10th International Conference on Automated Deduction
A survey of approaches to automatic schema matching

The VLDB Journal — The International Journal on Very Large Data Bases
CDuce: an XML-centric general-purpose language

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Dependency-style generic haskell

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell

Journal of Functional Programming

Comparing approaches to generic programming in Haskell

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a type-preserving XML Schema-Haskell data binding (or, translation) UUXML, and shows how to customize it by exploiting the theory of canonical isomorphisms to automatically infer coercions between the machine-generated types and an equivalent, more natural, user-defined set of types. We show how to implement the inference mechanism in Generic Haskell.