|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
Paul V. Biron and Ashok Malhotra, editors. XML Schema Part 2: Datatypes. World Wide Web Consortium, 2000.
|
| |
4
|
Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen, editors. Extensible Markup Language (XML) 1.0. World Wide Web Consortium, 1998.
|
| |
5
|
James Clark and Steve DeRose, editors. XML path language (XPath) version 1.0. World Wide Web Consortium, 1999.
|
| |
6
|
David C. Fallside, editor. XML Schema Part 0: Primer. World Wide Web Consortium, 2000.
|
| |
7
|
Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879). In Jan van Heijenoort, editor, From Frege to G.odel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press, Cambridge, Massachusetts, 1967.
|
| |
8
|
Haruo Hosoya, Jerome Vouillon, and Benjamin C. Pierce. Regular expression types for xml. In Proceedings of the International Conference on Functional Programming (ICFP), 2000.
|
 |
9
|
|
| |
10
|
|
| |
11
|
Henry S. Thompson, David Beech, Murray Maloney, and Noah Mendelsohn, editors. XML Schema Part 1: Structures. World Wide Web Consortium, 2000.
|
| |
12
|
Philip Wadler. A formal semantics of patterns in XSLT. In B. Tommie Usdin, Deborah A. Lapeyre, and C. M. Sperberg-McQueen, editors, Proceedings of Markup Technologies, Philadelphia, 1999.
|
| |
13
|
Philip Wadler. New language, old logic. Dr Dobbs Journal, December 2000.
|
|