OCaml + XDuce

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

Volumn 2006, Issue , 2006, Pages 192-200

  Frisch, Alain ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

CDuce; OCaml; Regular expression types; Type inference; XDuce; XML

Indexed keywords

OCAML; REGULAR EXPRESSION TYPES; TYPE INFERENCE; XDUCE;

COMPUTER PROGRAMMING; FUZZY INFERENCE; XML;

ALGORITHMS;

EID: 34247184788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1159803.1159829     Document Type: Conference Paper

References (18)

1. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-friendly general purpose language. In ICFP '03, 8th ACM International Conference on Functional Programming, pages 51-63, Uppsala, Sweden, 2003. ACM Press.
2. Luis Manuel Martins Damas. Type assignment in programming languages. PhD thesis, University of Edinburgh, Scotland, April 1985.
3. Alain Frisch. Théorie, conception et réalisation d'un langage de programmatio n fonctionnel adapté à XML. PhD thesis, Université Paris 7, December 2004.
4. Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-Oriented Programming (ECOOP), Darms tadt, Germany, 2003.
5. Haruo Hosoya, Alain Frisch, and Giuseppe Castagna. Parametric polymorphism for XML. In POPL, 2005.
6. Haruo Hosoya and Makoto Murata. Boolean operations and inclusion test for attribute-element constraint s. In Eighth International Conference on Implementation and Application of Automata, 2003.
7. Haruo Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, Japan, December 2000.
8. Haruo Hosoya. Regular expression filters for XML. In Programming Languages Technologies for XML (PLAN-X), 2004.
9. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. In Proceedings of Third International Workshop on the Web and Data bases (WebDB2000), 2000.
10. Haruo Hosoya and Benjamin C. Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 13(4), 2002.
11. Haruo Hosoya and Benjamin C. Pierce. A typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, 2003.
12. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. In ICFP '00, volume 35(9) of SIGPLAN Notices, 2000.
13. Christian Kirkegaard, Anders Møller, and Michael I. Schwartzbach. Static analysis of XML transformations in Java. IEEE Transactions on Software Engineering, 30(3):181-192, March 2004.
14. Xavier Leroy et al. The Objective Caml system release 3.08; Documentation and user's manual, 2001.
15. Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 1978.
16. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. TAPOS, 5(1), 1999.
17. Martin Sulzmann and Kenny Zhuo Ming Lu. A type-safe embedding of XDuce into ML. In The 2005 ACM SIGPLAN Workshop on ML, 2005.
18. Jérôme Vouillon. Polymorphic regular tree types and patterns. In POPL, 2006.