Type Systems for XML
No abstract available.
Related papers
- Types for path correctness of XML queries ICFP 2004
- FLUX: functional updates for XML ICFP 2008
- Static analysis for path correctness of XML queries JFP 2006
- Parametric polymorphism for XML POPL 2005
- Parametric polymorphism for XML TOPLAS 2009
- CDuce: an XML-centric general-purpose language ICFP 2003
- Regular Expression Subtyping for XML Query and Update Languages ESOP 2008
- Regular expression types for XML TOPLAS 2005