Regular expression types for XML
- 1 September 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 35 (9) , 11-22
- https://doi.org/10.1145/351240.351242
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- λProlog: An extended logic programming languagePublished by Springer Nature ,2005
- Solving systems of set constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Recursive subtyping revealedPublished by Association for Computing Machinery (ACM) ,2000
- Typechecking for XML transformersPublished by Association for Computing Machinery (ACM) ,2000
- Haskell and XMLACM SIGPLAN Notices, 1999
- Cayenne—a language with dependent typesACM SIGPLAN Notices, 1998
- Coinductive axiomatization of recursive type equality and subtypingPublished by Springer Nature ,1997
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Deciding Equivalence of Finite Tree AutomataSIAM Journal on Computing, 1990