Statically typed document transformation: An Xtatic experience (2006)

Cached

Download Links

by Vladimir Gapeyev , François Garillot , Benjamin C. Pierce
Venue:BRICS, Department of Computer Science, University of Aarhus
Citations:7 - 0 self

Documents Related by Co-Citation

146 XDuce: A Statically Typed XML Processing Language – Haruo Hosoya, Benjamin C. Pierce - 2002
158 CDuce: an XML-centric general-purpose language – Véronique Benzaken, École Normale Supérieure, Alain Frisch, École Normale Supérieure - 2003
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
14 Static analysis for path correctness of XML queries – Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani - 2006
34 The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004
60 Efficient Static Analysis of XML Paths and Types – Pierre Genevès, Nabil Layaïda, Alan Schmitt - 2008
8 Typed Iterators for XML – Giuseppe Castagna , Kim Nguyen
5 Commutativity analysis in XML update languages – Giorgio Ghelli, Kristoffer Rose, Jérôme Siméon - 2007
7 Jérôme Siméon. XQuery!: An XML query language with side effects – Giorgio Ghelli, Christopher Re - 2006
41 A Semi-Monad for Semi-Structured Data – Mary Fernandez, Jérôme Siméon, Philip Wadler - 2001
16 Types for Path Correctness for XML Queries – Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani - 2004
51 P.: XQuery 1.0 and XPath 2.0 formal semantics, W3C recommendation – D Draper, M Dyck, P Fankhauser, M Fernández, A Malhotra, K Rose, M Rys, J Siméon, Wadler - 2010
19 OCaml + XDuce – Alain Frisch - 2006
8 XQuery update facility. W3C Working Draft – Don Chamberlin, Daniela Florescu, Jonathan Robie - 2006
2 The XML world view – Kristoffer H Rose - 2004
43 Two semantics for XPath – Philip Wadler - 2000
8 Managing structure in bits & pieces: the killer use case for – E Sedlar
12 Logics for XML – P Genevès - 2006
5 MathML content2presentation transformation – E Pietriga - 2005