Lambda the Ultimate

inactiveTopic Wadler: XQuery, a typed functional language for querying XML
started 9/13/2002; 7:45:35 AM - last post 9/17/2002; 3:13:22 AM
Ehud Lamm - Wadler: XQuery, a typed functional language for querying XML  blueArrow
9/13/2002; 7:45:35 AM (reads: 1078, responses: 1)
Wadler: XQuery, a typed functional language for querying XML
XQuery, a typed functional language for querying XML. Philip Wadler. Lecture notes for the Summer School on Advanced Functional Programming, Oxford, August 2002.

Detailed and example driven.

Touches on various typing issues related to XML queries. Also gives insight into the meaning of the classic relational operators (e.g., join) in the context of hierarchical XML data.


Posted to xml by Ehud Lamm on 9/13/02; 7:47:02 AM

Noel Welsh - Re: Wadler: XQuery, a typed functional language for querying XML  blueArrow
9/17/2002; 3:13:22 AM (reads: 455, responses: 0)
There is an O'Caml implementation at

http://db.bell-labs.com/galax/

``The XQuery implementation for discriminating hackers''

Good to see an advanced language used for one of the first implementations!