ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML


Download Links

by Martin Sulzmann , Kenny Zhuo , Ming Lu

Active Bibliography

177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
34 The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004
12 UUXML: A Type-Preserving XML Schema-Haskell Data Binding – Frank Atanassow, Dave Clarke, Johan Jeuring - 2004
12 A Runtime System for XML Transformations in Java – Aske Simon Christensen , Christian Kirkegaard, Anders Møller - 2003
7 Revealing the X/O impedance mismatch (Changing lead into gold) – Ralf Lämmel, Erik Meijer - 2007
2 Customizing an XML–Haskell data binding with type isomorphism inference in Generic Haskell – Frank Atanassow, Johan Jeuring, Frank Atanassow, Johan Jeuring
Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding – Frank Atanassow, Johan Jeuring - 2005
53 Static Analysis of XML Transformations in Java – Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach - 2003
51 XDuce: A Typed XML Processing Language (Preliminary Report) – Haruo Hosoya, Benjamin Pierce - 2000