<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>9306</REFNUM><AUTHORS><AUTHOR>Castagna,G.</AUTHOR><AUTHOR>Gesbert,N.</AUTHOR><AUTHOR>Padovani,L.</AUTHOR></AUTHORS><YEAR>2007</YEAR><TITLE>A Theory of Contracts for Web Services</TITLE><PLACE_PUBLISHED>5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X 2007)</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><PAGES>37-48</PAGES><LABEL>Castagna:2007:9306</LABEL><KEYWORDS><KEYWORD>Web services</KEYWORD></KEYWORDS<ABSTRACT>We report preliminary results on our attempt to devise a type theory to decribe the detailed behaviour of web services and relate them. Our goal is to devise a type system that is as much minimal and language neutral as possible. We outline the possible practical impact of such a work, and the perspectives of future research it opens.</ABSTRACT><NOTES>Preliminary version of the work finally published in TOPLAS, June 2009</NOTES><URL>http://plan-x-2007.org/plan-x-2007.pdf</URL></RECORD></RECORDS></XML>