|
139
|
CDuce: An XML-Centric General-Purpose Language
– Véronique Benzaken, Giuseppe Castagna, Alain Frisch
- 2003
|
|
157
|
Regular Expression Types for XML
– Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce
- 2003
|
|
60
|
Regular Object Types
– Vladimir Gapeyev, Benjamin C. Pierce
- 2003
|
|
17
|
A full pattern-based paradigm for XML query processing
– Véronique Benzaken, Giuseppe Castagna, Cédric Miachon
- 2005
|
|
40
|
XML type checking with macro tree transducers
– Sebastian Maneth, Thomas Perst, Alexandru Berlea, Helmut Seidl
- 2005
|
|
44
|
The Relevance of Semantic Subtyping
– Mariangiola Dezani-ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
- 2002
|
|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
11
|
Regular expression filters for XML
– Haruo Hosoya
- 2006
|
|
22
|
The Xtatic experience
– Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
- 2005
|
|
19
|
Regular Tree Language Recognition with Static Information
– Alain Frisch
- 2004
|
|
169
|
Taxonomy of xml schema languages using formal language theory
– Makoto Murata, Dongwon Lee, Murali Mani
- 2001
|
|
122
|
XDuce: A Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2000
|
|
104
|
Regular expression pattern matching for XML
– Haruo Hosoya, Benjamin C. Pierce
- 2003
|
|
24
|
Exact XML type checking in polynomial time
– Sebastian Maneth, Thomas Perst, Helmut Seidl
- 2007
|
|
149
|
Typechecking for XML Transformers
– Tova Milo, Dan Suciu, Victor Vianu
- 2000
|
|
17
|
Static Validation of XSL Transformations
– Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
- 2005
|
|
23
|
Parametric Polymorphism for XML
– Haruo Hosoya , Alain Frisch, Giuseppe Castagna
- 2004
|
|
6
|
Paths into patterns
– Vladimir Gapeyev, Benjamin C. Pierce
- 2004
|
|
32
|
The Design Space of Type Checkers for XML Transformation Languages
– Anders Møller, Michael I. Schwartzbach
- 2004
|
