Author:
Suda Tadahiro,Hosoya Haruo
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XMLTM) (2000), http://www.w3.org/XML/
2. Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology 3, 117–148 (2003)
3. Benzaken, V., Castagna, G., Frisch, A.: CDuce: a white paper. In: PLAN-X: Programming Language Technologies for XML (2002)
4. Fankhauser, P., Fernández, M., Malhotra, A., Rys, M., Siméon, J., Wadler, P.: XQuery 1.0 Formal Semantics (2001), http://www.w3.org/TR/query-semantics/
5. Milo, T., Suciu, D., Vianu, V.: Typechecking for XML transformers. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 11–22. ACM, New York (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric polymorphism for XML;ACM Transactions on Programming Languages and Systems;2009-10
2. XML Typechecking;Encyclopedia of Database Systems;2009
3. Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment;Implementation and Application of Automata;2006
4. Towards Practical Typechecking for Macro Tree Transducers;Database Programming Languages