Parametric polymorphism for XML

ACM Transactions on Programming Languages and Systems

Volumn 32, Issue 1, 2009, Pages

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

^a UNIVERSITY OF TOKYO   (Japan)

^b LexiFi SAS   (France)

^c CNRS   (France)

Author keywords

Polymorphism; Subtyping; Tree automata; XML

Indexed keywords

ABSTRACT TYPES; COMPLETE PROBLEMS; PARAMETERIZED; PARAMETRIC POLYMORPHISM; PARAMETRICITY; POLYMORPHIC TYPE SYSTEMS; POLYMORPHIC TYPES; PRACTICAL ALGORITHMS; SCHEMAS; SEMANTIC APPROACH; STATIC TYPING; SUBTYPING RELATION; SUBTYPINGS; TREE AUTOMATA; TYPE ARGUMENTS; TYPE VARIABLES; TYPECHECKING; XML PROCESSING; XML TYPES;

POLYMORPHISM; PROGRAM INTERPRETERS; SEMANTICS; TRANSLATION (LANGUAGES); XML;

MARKUP LANGUAGES;

EID: 75649112624     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1596527.1596529     Document Type: Article

References (55)

1. AIKEN, A., KOZEN, D., AND WIMMERS, E. L. 1995. Decidability of systems of set constraints with negative constraints. Inf. Comput. 122, 1, 30-44.
2. ALON, N., MILO, T., NEVEN, F., SUCIU, D., AND VIANU, V. 2001. XML with data values: Typechecking revisited. In Proceedings of Symposium on Principles of Database Systems (PODS). ACM, New York.
3. ALTHEIM, M. AND MCCARRON, S. 2001. XHTML 1.1 - Module-based XHTML. http://www.w3.org/TR/2001/REC-xhtml11-20010531/.
4. APPEL, A. W. AND MACQUEEN, D. B. 1991. Standard ML of New Jersey. In Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming. Springer-Verlag, Berlin, Germany, 1-13.
5. AUSBROOKS, R., BUSWELL, S., DALMAS, S., DEVITT, S., DIAZ, A., HUNTER, R., SMITH, B., SOIFFER, N., SUTOR, R., ANDWATT, S. 2003. Mathematical Markup Language (MathML) Version 2.0 (Second Edition). http://www.w3.org/Math/.
6. BENZAKEN, V., CASTAGNA, G., AND FRISCH, A. 2003. CDuce: An XML-centric general-purpose language. In Proceedings of the International Conference on Functional Programming (ICFP). 51-63.
7. BRACHA,G.,ODERSKY, M., STOUTAMIRE, D., ANDWADLER, P. 1998. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA). ACM, New York, 183-200.
8. BRAY, T., PAOLI, J., SPERBERG-MCQUEEN, C. M., AND MALER, E. 2000. Extensible markup language (XMLTM). http://www.w3.org/XML/.
9. CANNING, P. S., COOK, W. R., HILL, W. L., OLTHOFF, W. G., AND MITCHELL, J. C. 1989. F-bounded polymorphism for object-oriented programming. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture (FPCA). 273-280.
10. CARDELLI, L., MARTINI, S., MITCHELL, J. C., AND SCEDROV, A. 1994. An extension of System F with subtyping. Inf. Comput. 109, 1-2, 4-56.
11. CASTAGNA, G. AND NGUYEN, K. 2008. Typed iterators for XML. In ICFP'08: Proceedings of the 13th ACM-SIGPLAN International Conference on Functional Programming. ACM, New York, 15-26.
12. CASTAGNA,G. AND PIERCE,B.C. 1995. Corrigendum: decidable bounded quantification. InPOPL'95: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 408.
13. COMON, H., DAUCHET, M., GILLERON, R., JACQUEMARD, F., LUGIEZ, D., TISON, S., AND TOMMASI, M. 1999. Tree automata techniques and applications. Draft book; available electronically on http://www.grappa.univ-lille3.fr/tata.
14. FALLSIDE, D. AND LAFON, Y. 2004. XML protocol working group. http://www.w3.org/2000/xp/Group/.
15. FANKHAUSER, P., FERŃANDEZ, M., MALHOTRA, A., RYS, M., SIḾEON, J., AND WADLER, P. 2001. XQuery 1.0 Formal Semantics. http://www.w3.org/TR/query-semantics/.
16. FRISCH, A. 2004. Th́eorie, conception et ŕealisation d'un langage de programmation adapt́e ̀a XML. Ph.D. dissertation, Universite Paris 7, Paris, France.
17. FRISCH, A. 2006. OCaml + XDuce. SIGPLAN Not. 41, 9, 192-200.
18. FRISCH, A., CASTAGNA, G., AND BENZAKEN, V. 2002. Semantic subtyping. In Proceedings of the 17th Annual IEEE Symposium on Logic Computer Science. IEEE Computer Society Press, Los Alamitos, CA, 137-146.
19. FRISCH, A., CASTAGNA, G., AND BENZAKEN, V. 2008. Semantic subtyping: dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55, 4, 1-64.
20. GILLERON, R., TISON, S., AND TOMMASI, M. 1999. Set constraints and automata. Inf. Comput. 149, 1, 1-41.
21. HARREN, M., RAGHAVACHARI, M., SHMUELI, O., BURKE, M. G., BORDAWEKAR, R., PECHTCHANSKI, I., AND SARKAR, V. 2005. XJ: Facilitating XML processing in Java. In Proceedings of the 14th International Conference on World Wide Web (WWW2005). ACM, New York, 278-287.
22. HOSOYA, H. 2003. Regular expression pattern matching-a simpler design. Tech. Rep. 1397, RIMS, Kyoto Univ., Kyoto, Japan.
23. HOSOYA, H. 2006. Regular expression filters for XML. J. Funct. Prog. 16, 6, 711-750. (Short version appeared in Proceedings of Programming Language Technologies for XML (PLAN-X), pp.13-27, 2004.)
24. HOSOYA, H., FRISCH, A., AND CASTAGNA, G. 2005. Parametric polymorphism for XML. In Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 50-62.
25. HOSOYA,H. ANDMURATA,M. 2003. Boolean operations and inclusion test for attribute-element constraints. In Proceedings of the 8th International Conference on Implementation and Application of Automata. Lecture Notes in Computer Science, vol.2759. Springer-Verlag, Berlin, Germany, 201-212.
26. HOSOYA, H. AND PIERCE, B. C. 2002. Regular expression pattern matching for XML. J. Funct. Prog. 13, 6, 961-1004. (Short version appeared in Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 2001, pp. 67-80.)
27. HOSOYA, H. AND PIERCE, B. C. 2003. XDuce: A typed XML processing language. ACM Trans. Internet Tech. 3, 2, 117-148. (Short version appeared in Proceedings of the 3rd International Workshop on the Web and Databases (WebDB2000), Lecture Notes in Computer Science, vol.1997. Springer-Verlag, Berlin, Germany, pp. 226-244.
28. HOSOYA, H., VOUILLON, J., AND PIERCE, B. C. 2004. Regular expression types for XML. ACM Trans. Prog. Lang. Syst. 27, 1, 46-90. (Short version appeared in Proceedings of the International Conference on Functional Programming (ICFP), pp. 11-22, 2000.) (Pubitemid 40232358)
29. ISHIKAWA, M. 2002. An XHTML + MathML + SVG Profile. http://www.w3.org/TR/ XHTMLplusMathMLplusSVG/xhtml-math-svg.html.
30. JACKSON, D., FERRAIOLO, J., AND FUJISAWA, J. 2002. Scalable Vector Graphics (SVG) 1.1 Specification. http://www.w3.org/TR/2002/CR-SVG11-20020430/.
31. KIRKEGAARD, C. AND MøLLER, A. 2006. XACT - XML transformations in Java. In Proceedings of the Programming Language Technologies for XML (PLAN-X). 87.
32. LEROY, X., DOLIGEZ, D., GARRIGUE, J., VOUILLON, J., AND ŔEMY, D. 1996. The Objective Caml system. Software and documentation available on the Web, http://pauillac.inria.fr/ocaml/.
33. MANETH, S., PERST, T., BERLEA, A., AND SEIDL, H. 2005. XML type checking with macro tree transducers. In Proceedings of Symposium on Principles of Database Systems (PODS). ACM, New York, 283-294.
34. MANETH, S., PERST, T., AND SEIDL, H. 2007. Exact XML type checking in polynomial time. In Proceedings of the International Conference on Database Theory (ICDT). 254-268.
35. MEIJER, E. AND SHIELDS, M. 1999. XM: A functional programming language for constructing and manipulating XML documents. Manuscript.
36. MILNER, R., TOFTE, M., AND HARPER, R. 1990. The Definition of Standard ML. The MIT Press, Cambridge, MA.
37. MILO, T., SUCIU, D., AND VIANU, V. 2000. Typechecking for XML transformers. In Proceedings of the 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM, New York, 11-22.
38. MURATA, M. 2001. Extended path expressions for XML. In Proceedings of Symposium on Principles of Database Systems (PODS). ACM, New York, 126-137.
39. NOTTINGHAM, M. AND SAYRE, R. 2005. The Atom Syndication Format (RFC 4287). ftp://ftp.rfc-editor.org/in-notes/rfc4287.txt.
40. OASIS. 2002. DocBook. http://www.docbook.org.
41. OAS1S. 2007. Open Document Format for Office Applications (OpenDocument). http://www.oasis-open.org/committees/office/.
42. PEYTON JONES, S. L., HALL, C. V., HAMMOND, K., PARTAIN, W., AND WADLER, P. 1993. The Glasgow Haskell compiler: a technical overview. In Proceedings of the UK Joint Framework for Information Technology (JFIT) Technical Conference.
43. PYTHON XML SPECIAL INTEREST GROUP. 1998. The XML bookmark exchange language. http://pyxml.sourceforge.net/topics/xbel/.
44. REYNOLDS, J. C. 1983. Types, abstraction, and parametric polymorphism. Inf. Proc. 83, 513-523.
45. SHIELDS, M. AND MEIJER, E. 2001. Type-indexed rows. In Proceedings of the 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 261-275.
46. STEF́ENSSON, K. 1994. Systems of set constraints with negative constraints are nexptimecomplete. In Proceedings of 9th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, CA, 137-141.
47. STROUSTRUP, B. 2000. The C++ Programming Language. Addison-Wesley, Reading, MA.
48. SUDA, T. AND HOSOYA, H. 2005. Non-backtracking top-down algorithm for checking tree automata containment. In Proceedings of Conference on Implementation and Applications of Automata (CIAA). 83-92.
49. SULZMANN, M. AND LU, K. Z. M. 2006a. A type-safe embedding of XDuce into ML. Electric Notes Theoret. Comput. Sci. 148, 2, 239-264.
50. SULZMANN, M. AND LU, K. Z. M. 2006b. XHaskell. In Proceedings of the Programming Language Technologies for XML (PLAN-X). 92. Demonstration.
51. TOZAWA, A. AND HAGIYA, M. 2003. XML schema containment checking based on semi-implicit techniques. In Proceedings of the 8th International Conference on Implementation and Application of Automata. Lecture Notes in Computer Science, vol.2759. Springer-Verlag, Berlin, Germany, 213-225.
52. VANSUMMEREN, S. 2006. Type inference for unique pattern matching. ACM Trans. Prog. Lang. Syst. 28, 3, 389-428.
53. VOUILLON, J. 2006a. Polymorphic regular tree types and patterns. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 103-114.
54. VOUILLON, J. 2006b. Polymorphism and XDuce-style patterns. In PLAN-X'06, Proceedings of the 4th Workshop on Programming Language Technologies for XML. 49-60.
55. WALLACE, M. AND RUNCIMAN, C. 1999. Haskell and XML: Generic combinators or type-based translation? In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming (ICFP'99). ACM, New York, 148-159.