- From: Philip Wadler <wadler@research.bell-labs.com>
- Date: Wed, 14 Feb 2001 12:30:31 -0500
- 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 UTC