ℂDuce: An XML-Centric General-Purpose Language

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

Volumn 8, Issue , 2003, Pages 51-63

  Benzaken, Véronique ^a   Castagna, Giuseppe ^a   Frisch, Alain ^b  

^a CNRS   (France)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

CDuce; Type systems; XML; XML processing

Indexed keywords

ALGEBRA; ALGORITHMS; CODING ERRORS; COMPUTER SOFTWARE; PATTERN MATCHING; PROBLEM SOLVING; SEMANTICS; TREES (MATHEMATICS); XML;

CDUCE; COMPILATION SCHEMAS; TYPE SYSTEMS; XML-PROCESSING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1142275469     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM TOPLAS, 13(2):237-268, April 1991.
2. Bell-labs. Galax. http://db.bell-labs.com/galax/.
3. S. Boag, D. Chamberlin, M. Femandez, D. Florescu, J. Robie, J. Simeon, and M. Stefanescu. XQuery 1.0: An XML Query Language. W3C Working Draft, http: //wwv.w3.org/TR/xquery/, 2003.
4. J. Boyland and G. Castagna. Parasitic methods: Implementation of multi-methods for Java. In OOPSLA '97, 32(10), pages 66-76, 1997.
5. A. Christensen, A. Møller, and M. Schwartzbach. Extending Java for high-level web service construction. ACM TOPLAS, 2003. To appear.
6. J. Clark and S. DeRose. XML Path Language (XPath). W3C Recommendation, http://www.w3.org/TR/xpath/, 1999.
7. Mary Fernández, Jérôme Siméon, and Philip Wadler. An algebra for XML query. In FST&TCS, LNCS n. 1974, pages 11-45, 2000.
8. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In 17th IEEE Symp. on Logic in Computer Science, pages 137-146, 2002.
9. V. Gapayev and B.C. Pierce. Regular object types. In Proceedings of the 10th workshop FOOL, 2003.
10. H. Hosoya. Regular expressions pattern matching: a simpler design. Unpublished manuscript, February 2003.
11. H. Hosoya and B. Pierce. XDuce: A typed XML processing language. ACM TOIT, 2003. To appear, http://xduce.sourceforge.net/.
12. Haruo Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, 2001.
13. Haruo Hosoya and Makoto Murata. Validation and boolean operations for attribute-element constraints. In PLAN-X, 2002.
14. H. Hosoya, J. Vouillon, and B. Pierce. Regular expression types for XML. In Proc. of ICFP '00, SIGPLAN Notices 35(9), 2000.
15. Michael Y. Levin. Matching automata for regular patterns. Tech. rep., 2003. http://www.cis.upenn.edu/̃bcpieree/xtatic/.
16. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. of 24th ACM POPL, 1997.
17. J. Siméon and P. Wadler. The essence of XML. In Proc. of 30th ACM POPL, 2003.