Cédric Fournet's home page

<body> <p> <img src="atomspin1.gif" width="38" height="38"> <img src="msrtext2.gif" width="132" height="38"> </p> <p><a href="main.htm" onClick="stc(this, 1)"><font color="#000000">Cédric Fournet</font></a></p> <p><a href="bib.htm" onClick="stc(this, 2)"><font color="#000000">publications</font></a></p> <p><a href="contact.htm" onClick="stc(this, 3)"><font color="#000000">contact</font></a></p> <p><a href="http://research.microsoft.com/labs/cam.asp" target="_top" onClick="stc(this, 4)"><font color="#000000">MSR in Cambridge</font></a></p> <p><a href="http://research.microsoft.com/ppt" target="_top" onClick="stc(this, 5)"><font color="#000000">programming principles and tools</font></a></p> <p><a href="http://join.inria.fr" target="_top" onClick="stc(this, 6)"><font color="#000000">the join-calculus</font></a></p> <script type="text/javascript"> function stc(e,linkIndex){if(document.images){var linkText;if(navigator.appName.toLowerCase()=="microsoft internet explorer"){linkText=e.innerText}else{linkText=e.textContent}if(linkText==""){if(e.firstChild){var firstChild=e.firstChild.nodeName.toUpperCase();if(firstChild=="IMG"){linkText="Image: "+getName(e.firstChild.getAttribute('src'))}}else{var nodeName=e.nodeName.toUpperCase();if(nodeName=="AREA"){linkText="ImageMap: "+e.href}}}if(linkText==""){linkText=e.href}(new Image()).src="/a/i/stg.gif?f="+escape(document.location.href)+"&t="+escape(e.href)+"&i="+linkIndex+"&n="+escape(trimString(linkText))}}function getName(s){if(s.lastIndexOf('/')>=0){return(s.substring(s.lastIndexOf('/')+1,s.length))}else{return(s)}}function trimString(s){return(s.replace(/^\s*/,"").replace(/\s*$/,""))} </script> </body>