Open AccessA Type-Safe Embedding of XDuce into ML
Author(s) -
Martin Sulzmann,
Kenny Zhuo Ming Lu
Publication year - 2006
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2005.11.047
Subject(s) - embedding , subtyping , translation (biology) , computer science , scheme (mathematics) , type (biology) , type inference , expression (computer science) , representation (politics) , theoretical computer science , function (biology) , data type , algorithm , inference , programming language , artificial intelligence , mathematics , mathematical analysis , ecology , biochemistry , chemistry , evolutionary biology , biology , messenger rna , politics , political science , law , gene
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom