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:6 - 0 self

Active Bibliography

22 The Xtatic experience – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2005
15 XML goes native: Run-time representations for Xtatic – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2004
32 The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004
19 Type-based optimization for regular patterns – Michael Y. Levin, Benjamin C. Pierce - 2005
6 Typed Iterators for XML – Giuseppe Castagna , Kim Nguyen
1 Polymorphism and XDuce-style patterns – Jerome Vouillon, Xduce-style Patterns
6 Paths into patterns – Vladimir Gapeyev, Benjamin C. Pierce - 2004
11 A Runtime System for XML Transformations in Java – Aske Simon Christensen , Christian Kirkegaard, Anders Møller - 2003
Types – Pierre Genevès, Nabil Layaïda, Alan Schmitt, Thèmes Com Et Sym, Pierre Genevès, Nabil Layaïda, Alan Schmitt, Thèmes Com, Sym Systèmes Systèmes, Équipes-projets Wam Et Sardes - 2008
44 Efficient Static Analysis of XML Paths and Types – Pierre Genevès, Nabil Layaïda, Alan Schmitt - 2008
1 DynXML: Safely Programming the Dynamic Web – Joshua Sunshine, Jonathan Aldrich
18 XJ: Facilitating XML Processing in Java – Matthew Harren, Michael G. Burke, et al. - 2005
3 On deciding well-definedness for query languages on trees – Stijn Vansummeren - 2005
Project-Team mostrare Modeling Tree Structures, Machine Learning, and Information Extraction – Lille Nord Europe
Project-Team MOSTRARE Modeling Tree Structures, Machine Learning, and Information Extraction – unknown authors
5 Revealing the X/O impedance mismatch (Changing lead into gold) – Ralf Lämmel, Erik Meijer - 2007
XML Typechecking – Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren, et al.
Languages – Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Type-Based Specialization . . . – Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi - 2009