A Type-Safe Embedding of XDuce into ML

  • Authors:

  • Martin Sulzmann;Kenny Zhuo Ming Lu

  • Affiliations:

  • School of Computing, National University of Singapore, S16 Level 5, 3 Science Drive 2, Singapore 117543;School of Computing, National University of Singapore, S16 Level 5, 3 Science Drive 2, Singapore 117543

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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 to translate regular expression pattern matching and uses of semantic subtyping. We can extend our translation scheme to include ML function calls and patterns into XDuce. Thus, we can embed XDuce into ML. Our results allow to enrich the ML language with support for dealing with semi-structured data.