Please use this identifier to cite or link to this item:
Title: A type-safe embedding of XDuce into ML
Authors: Sulzmann, M. 
Lu, K.Z.M.
Keywords: Language integration/extension
Program transformation
Semi-structured data handling
Issue Date: 2006
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.
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
ISSN: 15710661
DOI: 10.1016/j.entcs.2005.11.047
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

Page view(s)

checked on Dec 16, 2017

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.