ML 2005 Preliminary Version A Type-Safe Embedding of XDuce into ML
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 |
| 11 | A Runtime System for XML Transformations in Java – Aske Simon Christensen , Christian Kirkegaard, Anders Møller - 2003 |
| 5 | Revealing the X/O impedance mismatch (Changing lead into gold) – Ralf Lämmel, Erik Meijer - 2007 |
| 32 | The Design Space of Type Checkers for XML Transformation Languages – Anders Møller, Michael I. Schwartzbach - 2004 |
| 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 | |
| 7 | Type-safe two-level data transformation – Alcino Cunha, José Nuno Oliveira, Joost Visser - 2006 |
| Set-theoretic Foundation of Parametric – Zhiwu Xu | |
| Extracting Programs from . . . – Martin Sulzmann - 2006 | |
| Comparing Datatype Generic Libraries In Haskell – Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira - 2009 | |
| 10 | Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006 |
| 12 | Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008 |
| 4 | Error Mining for Regular Expression Patterns – Dario Colazzo, Alain Frisch - 2005 |
| 2 | Type-safe Computation with Heterogeneous Data – Freeman Yufei Huang - 2007 |
| Efficient Memory Representation of XML Document Trees – unknown authors | |
| 22 | The Xtatic experience – Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt - 2005 |
| 6 | Statically typed document transformation: An Xtatic experience – Vladimir Gapeyev, François Garillot, Benjamin C. Pierce - 2006 |
