W3C home > Mailing lists > Public > spec-prod@w3.org > January to March 2001

Re: inference rule markup?

From: Philip Wadler <wadler@research.bell-labs.com>
Date: Wed, 14 Feb 2001 12:30:31 -0500
Message-Id: <200102141730.MAA5552163@nslocum.cs.bell-labs.com>
To: Andrea Asperti <asperti@CS.UniBO.IT>
cc: mff@research.att.com, spec-prod@w3.org, "Fuchs, Matthew" <matthew.fuchs@commerceone.com>, schena@CS.UniBO.IT, Claudio Sacerdoti_Coen <sacerdot@CS.UniBO.IT>, Luca Padovani <lpadovan@CS.UniBO.IT>, Ferruccio Guidi <fguidi@CS.UniBO.IT>
I would be interested in formalizing both MSL and the query algebra.

	MSL:
	http://www.cs.bell-labs.com/who/wadler/topics/xml.html#msl

	Query algebra:
	http://www.cs.bell-labs.com/who/wadler/topics/xml.html#xalgebra-icdt
	http://www.w3.org/TR/query-algebra

Cheers,  -- P
Received on Wednesday, 14 February 2001 12:31:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 10 March 2012 06:19:11 GMT