Polymorphic regular tree types and patterns

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

Volumn , Issue , 2006, Pages 103-114

  Vouillon, Jérôme ^a  

^a CNRS   (France)

Author keywords

Polymorphism; Subtyping; Tree automata

Indexed keywords

ALGEBRA; COMPUTATIONAL GRAMMARS; COMPUTER PROGRAMMING LANGUAGES; PATTERN RECOGNITION; SEMANTICS;

POLYMORPHISM; SUBTYPING; TREE AUTOMATA;

TREES (MATHEMATICS);

EID: 33745830533     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111037.1111047     Document Type: Conference Paper

References (11)

1. M. Brandt and F. Henglein. Coinductive axiomatization of recursive type equality and subtyping. In R. Hindley, editor, Proc. 3d Int'l Conf. on Typed Lambda Calculi and Applications (TLCA), Nancy, France, April 2-4, 1997, volume 1210 of Lecture Notes in Computer Science (LNCS), pages 63-81. Springer-Verlag, April 1997.
2. R. Cartwright. Types as intervals. In Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 22-36. ACM Press, 1985.
3. CDuce Development Team. CDuce Programming Language User's Manual. Available from http://www.cduce.org/documentation.html.
4. A. Frisch. Théorie, conception et réalisation d'un langage adapté à XML. Thèse de doctorat, University of Paris 7, 2004.
5. V. Gapeyev, M. Levin, and B. Pierce. Recursive subtyping revealed. Journal of Functional Programming, 12(6):511-548, 2003. Preliminary version in ICFP 2000.
6. H. Hosoya, A. Frisch, and G. Castagna. Parametric polymorphism for XML. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, pages 50-62. ACM Press, 2005.
7. H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology, 3(2):117-148, May 2003.
8. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. ACM Trans. Program. Lang. Syst., 27(1):46-90, 2005. Short version in ICFP 2000.
9. M. Y. Levin. Compiling regular patterns. In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 65-77, New York, NY, USA, 2003. ACM Press.
10. J. C. Reynolds. Types, abstraction, and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513-523, Amsterdam, 1983. Elsevier Science Publishers B. V. (North-Holland).
11. A. K. Wright. Simple imperative polymorphism. Lisp Symb. Comput., 8(4):343-355, 1995.