ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML
by
Martin Sulzmann
,
Kenny Zhuo
,
Ming Lu
BibTeX
@MISC{Sulzmann_ml2005,
author = {Martin Sulzmann and Kenny Zhuo and Ming Lu},
title = {ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Key words: Semi-structured data handling, programtransformation, language integration/extension. 1 Introduction There has been some notable interest in making use of typed programming languages for XML processing [16,13,3,11]. The advantages of such an approach are clear. In a typed setting we can provide some static guarantees about the well-formedness of XML documents and transformations. Previous work can be roughly divided into two categories.
Citations
| 50 | XML: Generic Combinators or TypeBased Translation - Haskell - 1999 |
| 15 | XML goes native: Run-time representations for Xtatic - Gapeyev, Levin, et al. - 2005 |
| 11 | Inferring type isomorphisms generically - Atanassow, Jeuring - 2004 |
| 9 | An implementation of subtyping among regular expression types - Lu, Sulzmann - 2004 |
| 8 | M.: “Rewriting Regular Inequalities - Antimirov - 1994 |
| 1 | Regular expression filter - Hosoya - 1997 |
| 1 | Regular expression pattern matching for XML. InProc. of POPL '01 - Hosoya, Pierce - 2000 |
| 1 | A type-safe embedding of XDuce into ML.Technical report, The - Sulzmann, Lu - 2005 |
| 1 | A typed representation for HTML and XML documents inHaskell. Journal of Functional Programming, 12(4 and 5):435-468, July 2002. [28] S. Vansummeren. Type inference for uniquepattern matching. http://alpha.luc.ac.be/ lucg5855/files/matchinfer.ps.gz - Thiemann - 1988 |
