|
|
Validation and Boolean operations for Attribute-Element Constraints
– unknown authors
|
|
127
|
XDuce: A Statically Typed XML Processing Language
– Haruo Hosoya, Benjamin C. Pierce
- 2002
|
|
157
|
Regular Expression Types for XML
– Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce
- 2003
|
|
169
|
Taxonomy of xml schema languages using formal language theory
– Makoto Murata, Dongwon Lee, Murali Mani
- 2001
|
|
104
|
Regular expression pattern matching for XML
– Haruo Hosoya, Benjamin C. Pierce
- 2003
|
|
12
|
Regular Expression Pattern Matching - A Simpler Design
– Haruo Hosoya
- 2003
|
|
32
|
The Design Space of Type Checkers for XML Transformation Languages
– Anders Møller, Michael I. Schwartzbach
- 2004
|
|
23
|
Parametric Polymorphism for XML
– Haruo Hosoya , Alain Frisch, Giuseppe Castagna
- 2004
|
|
|
XML Typechecking
– Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren, et al.
|
|
6
|
XML Type Checking Using High-Level Tree Transducer
– Akihiko Tozawa
- 2006
|
|
6
|
Typed Iterators for XML
– Giuseppe Castagna , Kim Nguyen
|
|
1
|
Validation algorithm for attribute-element constraints of RELAX NG
– Montréal Québec, Makoto Murata, Haruo Hosoya
- 2003
|
|
17
|
Regular expression types for strings in a text processing language
– Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
- 2002
|
|
|
The University of Tokyo- Japan
– Haruo Hosoya, Alain Frisch, Lexifi France, Giuseppe Castagna
|
|
22
|
The Xtatic experience
– Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt
- 2005
|
|
11
|
Towards practical typechecking for macro tree transducers
– Alain Frisch, Haruo Hosoya
- 2007
|
|
3
|
XML: From practice to theory
– Victor Vianu
- 2003
|
|
66
|
A Web Odyssey: from Codd to XML
– Victor Vianu
- 2001
|
|
1
|
Polymorphism and XDuce-style patterns
– Jerome Vouillon, Xduce-style Patterns
|
