Lambda the Ultimate

The Essence of XML. Jerome Simeon and Philip Wadler. FLOPS 2002, Aizu, Japan, 15-17 September 2002 (invited talk).

This paper describes a formalization XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath specification, one of the first uses of formal methods by a standards body...

...this is the first work to study the relation between named types and structural types, and the relation between matching and validation.

Despite rumors to the contrary, this is not an xml weblog... Still, some serious people are working and writing papers on xml.

This paper gives a type theoretic point of view of schema validation. Subtyping is also discussed.

Posted to xml by Ehud Lamm on 7/22/02; 12:09:08 AM