Typed iterators for XML

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2008, Pages 15-26

  Castagna, Giuseppe ^a   Nguyên, Kim ^b  

^a CNRS   (France)

^b Laboratoire Interdisciplinaire des Sciences du Numérique   (France)

Author keywords

Iterators; Polymorphism; Subtyping; XML

Indexed keywords

POLYMORPHISM; XML;

FORMAL PROPERTIES; ITERATORS; PRODUCT TYPES; SUB-ELEMENT; SUBTYPINGS; USAGE SCENARIOS; XML PROCESSING; XML TRANSFORMATION;

FUNCTIONAL PROGRAMMING;

EID: 59249108843     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1411204.1411210     Document Type: Conference Paper

References (32)

1. R. M. Amadio and L. Cardelli. Subtyping recursive types. ACM Trans. on Programming Languages, 15(4):575-631, 1993.
2. V. Benzaken, G. Castagna, D. Colazzo, and K. Nguyen. Type-based XML projection. In VLDB 2006, pages 271-282, 2006.
3. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-centric general-purpose language. In ICFP '03, pages 51-63, 2003.
4. V. Benzaken, G. Castagna, and C. Miachon. A full pattern-based paradigm for XML query processing. In PADL 05, number 3350 in LNCS, pages 235-252, 2005.
5. B. Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25:95-169, 1983.
6. W3C: DTD specifications. http://www.w3.org/TR/REC-xml
7. A. Frisch. Regular tree language recognition with static information. In Proc. IFIP Conf. on Theor. Comput. Sci. (TCS). Kleuwer, 2004.
8. A. Frisch. OCaml + XDuce. SIGPLAN Not., 41(9):192-200, 2006.
9. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In UCS '02, pages 137-146. IEEE Computer Society Press, 2002.
10. A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types. The Journal of ACM, 2008. To appear.
11. Alain Frisch and Haruo Hosoya. Towards practial typechecking for macro tree transducers. In DBPL, 2007.
12. V. Gapeyev, M. Levin, and B. Pierce. Recursive subtyping revealed. Journal of Functional Programming, 12(6):511-548, 2003.
13. V. Gapeyev, M. Y. Levin, B. C. Pierce, and A. Schmitt. The Xtatic experience. In PLAN-X, 2005.
14. H. Hosoya. Regular expression filters for XML. In Programming Languages Technologies for XML (PLAN-X), pages 13-27, 2004.
15. H. Hosoya, A. Frisch, and G. Castagna. Parametric polymorphism for XML. In POPL '05, pages 50-62, 2005.
16. H. Hosoya and B.C. Pierce. Regular expression pattern matching for XML. In POPL'01, 2001.
17. H. Hosoya and B.C. Pierce. XDuce: A typed XML processing language. In ACM Trans. on Internet Tech., pages 117-148, 2003.
18. H. Hosoya, J. Vouillon, and B. Pierce. Regular expression types for XML. In ICFP '00, volume 35(9) of SIGPLAN Notices, 2000.
19. R. Lämmel. Scrap your boilerplate with XPath-like combinators. In POPL'07, Proceedings. ACM Press, January 2007.
20. M.Y. Levin and B.C. Pierce. Type-based optimization for regular patterns. In DBPL '05, August 2005.
21. S. Maneth, A. Berlea, T. Perst, and H. Seidl. XML Type checking with macro tree transducers. InACMPODS, pages 283-294, 2005.
22. S. Maneth, T. Perst, and H. Seidl. Exact XML type checking in polynomial time. In ICDT, pages 254-268, 2007.
23. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. J. Comput. Syst. Sci., 66(1), 2003.
24. M.-J. Nederhof. Practical experiments with regular approximation of context-free languages. Computat. Linguistics, 26(1):17-44, 2000.
25. Kim Nguyen. Combinator language for XML: design, typing, and implementation. PhD thesis, Université Paris-Sud 11, 2008.
26. OASIS Committee Specification: Relax-NG. http://relaxng.org/
27. M. Sulzmann and K. Zhuo Ming Lu. A type-safe embedding of XDuce into ML. El. Notes Theor. Comp. Sci., 148(2):239-264, 2006.
28. M. Sulzmann and K. Zhuo Ming Lu. XHaskell. In PLAN-X, 2006.
29. J. Vouillon. Polymorphic regular tree types and patterns. In POPL, pages 103-114, 2006.
30. Philip Wadler. Deforestation: Transforming programs to eliminate trees. Theor. Comput. Sci., 73(2):231-248, 1990.
31. W3C: XML Schema. http://www.w3.org/XML/Schema
32. W3C: XML Path Language Ver. 1.0. http://www.w3.org/TR/xpath