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


Download Links

by Martin Sulzmann , Kenny Zhuo , Ming Lu

Active Bibliography

12 UUXML: A Type-Preserving XML Schema-Haskell Data Binding – Frank Atanassow, Dave Clarke, Johan Jeuring - 2004
2 Customizing an XML–Haskell data binding with type isomorphism inference in Generic Haskell – Frank Atanassow, Johan Jeuring, Frank Atanassow, Johan Jeuring
12 A Runtime System for XML Transformations in Java – Aske Simon Christensen , Christian Kirkegaard, Anders Møller - 2003
34 The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004
7 Revealing the X/O impedance mismatch (Changing lead into gold) – Ralf Lämmel, Erik Meijer - 2007
Science and Software – Peter J. Stuckey, Nicta Victoria Laboratories
1 Subtyping for Regular Tree Types: A Java-based Implementation – Stefan Alexander Hohenadel - 2003
An Implementation of Subtyping among Regular Expression Types – unknown authors
Generic validation in an XPath-Haskell data binding – Rui Guerra, Johan Jeuring, S. Doaitse Swierstra
Set-theoretic Foundation of Parametric – Zhiwu Xu
Extracting Programs from . . . – Martin Sulzmann - 2006
5 Error mining for regular expression patterns – Dario Colazzo, Alain Frisch - 2005
Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
8 Type-safe two-level data transformation – Alcino Cunha, José Nuno Oliveira, Joost Visser - 2006
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
2 Type-safe Computation with Heterogeneous Data – Freeman Yufei Huang - 2007
Efficient Memory Representation of XML Document Trees – unknown authors
An XTATIC Experience – Transformation An, Xtatic Experience, Vladimir Gapeyev, François Garillot, Benjamin C. Pierce, Vladimir Gapeyev, François Garillot, Benjamin C. Pierce - 2005