|
157
|
Regular Expression Types for XML
– Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce
- 2003
|
|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
12
|
Static analysis for path correctness of XML queries
– Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
- 2006
|
|
139
|
CDuce: An XML-Centric General-Purpose Language
– Véronique Benzaken, Giuseppe Castagna, Alain Frisch
- 2003
|
|
32
|
The Design Space of Type Checkers for XML Transformation Languages
– Anders Møller, Michael I. Schwartzbach
- 2004
|
|
41
|
A Semi-Monad for Semi-Structured Data
– Mary Fernandez, Jérôme Siméon, Philip Wadler
- 2001
|
|
7
|
Jérôme Siméon. XQuery!: An XML query language with side effects
– Giorgio Ghelli, Christopher Re
- 2006
|
|
4
|
Commutativity analysis in XML update languages
– Giorgio Ghelli, Kristoffer Rose, Jérôme Siméon
- 2007
|
|
16
|
Types for path correctness of XML queries
– D Colazzo, G Ghelli, P Manghi, C Sartiani
- 2004
|
|
46
|
XQuery 1.0 and XPath 2.0 formal semantics. W3C Recommendation
– Denise Draper, Peter Fankhauser, Mary Fernández, Ashok Malhotra, Kristoffer Rose, Michael Rys, Jérôme Siméon, Philip Wadler
- 2007
|
|
15
|
OCaml + XDuce
– Alain Frisch
- 2006
|
|
7
|
XQuery update facility. W3C Working Draft
– Don Chamberlin, Daniela Florescu, Jonathan Robie
- 2006
|
|
2
|
The XML world view
– K H Rose
|
|
40
|
Two semantics for XPath
– Philip Wadler
- 2000
|
|
8
|
Managing structure in bits & pieces: the killer use case for XML
– E Sedlar
- 2005
|
|
6
|
Typed Iterators for XML
– Giuseppe Castagna , Kim Nguyen
|
|
17
|
Managing and querying transaction-time databases under schema evolution
– Hyun J. Moon, Carlo A. Curino, Alin Deutsch, Chien-yi Hou, Carlo Zaniolo
- 2008
|
|
10
|
Preserving xml queries during schema evolution
– M M Moro, S Malaika, L Lim
- 2007
|
|
5
|
MathML content2presentation transformation
– E Pietriga
- 2005
|
