Please use this identifier to cite or link to this item:
|Title:||A type-safe embedding of XDuce into ML|
|Authors:||Sulzmann, M. |
Semi-structured data handling
|Source:||Sulzmann, M.,Lu, K.Z.M. (2006). A type-safe embedding of XDuce into ML. Electronic Notes in Theoretical Computer Science 148 (2) : 239-264. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2005.11.047|
|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. © 2006 Elsevier B.V. All rights reserved.|
|Source Title:||Electronic Notes in Theoretical Computer Science|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 13, 2017
checked on Dec 16, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.