ML 05 START ConferenceManager    

A Type-Safe Embedding of XDuce into ML

Kenny Zhuo Ming Lu and Martin Sulzmann

The 2005 ACM SIGPLAN Workshop on ML (ML 05)
Tallinn, Estonia, September 29, 2005


Abstract

We consider the problem of integrating XDuce into ML. This is difficult because of incompatible type and value representations. Our solution is a type-driven translation scheme from XDuce to ML based on a structured representation of XDuce values. XDuce type inference guides the insertion of appropriate coercion functions Thus, we can embed XDuce into ML and therefore enrich the ML language with support for dealing with semi-structured data.


  
START Conference Manager (V2.49.7)
Maintainer: rrgerber@softconf.com