Parametric polymorphism for XML
- 12 January 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (1), 50-62
- https://doi.org/10.1145/1040305.1040310
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Parametric polymorphism for XMLPublished by Association for Computing Machinery (ACM) ,2005
- Regular expression pattern matching for XMLJournal of Functional Programming, 2003
- CDucePublished by Association for Computing Machinery (ACM) ,2003
- Regular expression types for XMLPublished by Association for Computing Machinery (ACM) ,2000
- Typechecking for XML transformersPublished by Association for Computing Machinery (ACM) ,2000
- Haskell and XMLACM SIGPLAN Notices, 1999
- Set Constraints and AutomataInformation and Computation, 1999
- Making the future safe for the pastPublished by Association for Computing Machinery (ACM) ,1998
- Decidability of Systems of Set Constraints with Negative ConstraintsInformation and Computation, 1995
- An Extension of System F with SubtypingInformation and Computation, 1994