Parametric polymorphism for XML

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2005, Pages 50-62

  Hosoya, Haruo ^a   Frisch, Alain ^b   Castagna, Giuseppe ^c  

^a UNIVERSITY OF TOKYO   (Japan)

^b INRIA   (France)

^c ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Polymorphism; Subtyping; Tree automata; XML

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SOFTWARE; SEMANTICS; TREES (MATHEMATICS);

POLYMORPHISM; SUBTYPING; TREE AUTOMATA;

XML;

EID: 29144439324     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.1040310     Document Type: Conference Paper

References (32)

1. A. Aiken, D. Kozen, and E. L. Wimmers. Decidability of systems of set constraints with negative constraints. Information and Computation, 122(1):30-44, 1995.
2. A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming, pages 1-13. Springer-Verlag, Aug. 1991.
3. V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In Proceedings of the International Conference on Functional Programming (ICFP), pages 51-63, 2003.
4. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler, Making the future safe for the past; Adding genericity to the Java programming language. In C. Chambers, editor, ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pages 183-200, Vancouver, BC, 1998.
5. P. S. Canning, W. R. Cook, W. L. Hill, W. G. Olthoff, and J. C. Mitchell F-bounded polymorphism for object-oriented programming. In Conference on Functional Programming Languages and Computer Architecture (FPCA), pages 273-280, 1989.
6. L. Cardelli, S. Martini, J. C. Mitchell. and A. Scedrov. An extension of System F with subtyping. Information and Computation, 109(1-2):4-56, 1994.
7. J. Clark and M. Murata. RELAX NG. http://www.relaxng.org, 2001.
8. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Draft book; available electronically on http://www.grappa.univ-lille3.fr/tata, 1999.
9. M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.
10. D. Fallside and Y. Lafon. XML protocol working group. http://www.w3.org/2000/xp/Group/, 2004.
11. P. Fankhauser, M. Fernández, A. Malhotra, M. Rys, J. Siméon, and P. Wadler. XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query-semantics/, 2001.
12. A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping. In Seventeenth Annual IEEE Symposium on Logic In Computer Science, pages 137-146, 2002.
13. R. Gilleron, S. Tison, and M. Tommasi. Set constraints and automata. Information and Computation, 149(1): 1-41, 1999.
14. H. Hosoya. Regular expression pattern matching - a simpler design. Technical Report 1397, RIMS, Kyoto University, 2003.
15. H. Hosoya, A. Frisch, and G. Castagna. Parametric polymorphism for XML. http://arbre.is.s.u-tokyo.ac.jp/~hahosoya/papers/polyx.ps, 2004. Full version.
16. H. Hosoya and M. Murata. Boolean operations and inclusion test for attribute-element constraints. In Eighth International Conference on Implementation and Application of Automata, volume 2759 of Lecture Notes in Computer Science, pages 201-212. Springer-Verlag, 2003.
17. H. Hosoya and B. C. Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 13(6):961-1004, 2002.
18. Short version appeared in Proceedings of The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 67-80, 2001.
19. H. Hosoya and B. C. Pierce. XDuce: A typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, 2003.
20. Short version appeared in Proceedings of Third International Workshop on the Web and Databases (WebDB2000), volume 1997 of Lecture Notes in Computer Science, pp. 226-244, Springer-Verlag.
21. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems, 2004.
22. Short version appeared in Proceedings of the International Conference on Functional Programming (ICFP), pp.11-22, 2000.
23. X. Leroy, D. Doligez, J. Garrigue, J. Vouillon, and D. Rémy. The Objective Caml system. Software and documentation available on the Web, http://pauillac.inria.fr/ocaml/, 1996.
24. E. Meijer and M. Shields. XMλ: A functional programming language for constructing and manipulating XML documents. Manuscript, 1999.
25. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 11-22. ACM, May 2000.
26. M. Murata. Extended path expressions for XML. In Proceedings of Symposium on Principles of Database Systems (PODS), pages 126-137, 2001.
27. S. L. Peyton Jones, C. V. Hall, K. Hammond, W. Partain, and P. Wadler. The Glasgow Haskell compiler: a technical overview. In Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference, July 1993.
28. J. C. Reynolds. Types, abstraction, and parametric polymorphism. Information Processing, 83:513-523, 1983.
29. M. Shields and E. Meijer. Type-indexed rows. In The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 261-275, London, Jan 2001.
30. K. Stefénsson. Systems of set constraints with negative constraints are nexptime-complete. In Proceedings of Ninth Annual IEEE Symposium on Logic in Computer Science, pages 137-141, 1994.
31. A. Tozawa and M. Hagiya. XML schema containment checking based on semi-implicit techniques. In 8th International Conference on Implementation and Application of Automata, volume 2759 of Lecture Notes in Computer Science, pages 213-225. Springer-Verlag, 2003.
32. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), volume 34-9 of ACM Sigplan Notices, pages 148-159, N.Y., Sept. 27-29 1999. ACM Press.