Lambda the Ultimate

inactiveTopic The Essence of XML
started 7/22/2002; 12:04:12 AM - last post 7/22/2002; 12:10:28 AM
Ehud Lamm - The Essence of XML  blueArrow
7/22/2002; 12:04:12 AM (reads: 1634, responses: 1)
The Essence of XML
(via xmlhack)

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

Ehud Lamm - Re: The Essence of XML  blueArrow
7/22/2002; 12:10:28 AM (reads: 1065, responses: 0)
Cool quote from the paper: A type system without a programming language is like Juliet without Romeo - unable to survive alone.