Polymorphic regular tree types and patterns

ACM SIGPLAN Notices

Volumn 41, Issue 1, 2006, Pages 103-114

  Vouillon, Jérôme ^a  

^a CNRS   (France)

Author keywords

Polymorphism; Subtyping; Tree Automata

Indexed keywords

POLYMORPHISM; SUBTYPING; TREE AUTOMATA;

AUTOMATA THEORY; DATA ACQUISITION; FUNCTIONS; SEMANTICS;

TREES (MATHEMATICS);

EID: 33745223645     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1111320.1111047     Document Type: Article

References (13)

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.
6. Preliminary version in ICFP 2000.
7. 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.
8. H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology, 3(2): 117-148, May 2003.
9. H. Hosoya, J. Vouillon, and B. C. Pierce. Regular expression types for XML. ACM Trans. Program. Lang. Syst., 27(1):46-90, 2005.
10. Short version in ICFP 2000.
11. 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.
12. 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).
13. A. K. Wright. Simple imperative polymorphism. Lisp Symb. Comput., 8(4):343-355, 1995.