[r2004-03-03 10:51:49 by afrisch] MAJ Slides

Original author: afrisch
Date: 2004-03-03 10:51:49+00:00

web/papers.xml

@@ -67,7 +67,8 @@ Superseded by the previous paper
  <title>A Gentle Introduction to Semantic Subtyping</title>
  <author>G. Castagna</author>
  <author>A. Frisch</author>
- <comment> Unpublished</comment>
+ <comment> Second workshop on Programmable Structured Documents
+ (Hakone). </comment>
 
  <abstract> <p> Subtyping relations are usually defined either syntactically
    by a formal system or semantically by an interpretation of types into an
@@ -254,6 +255,28 @@ constrained runtime environment, ..).
 <box title="Slides" link="slides">
 <ul>
 
+<li>
+<slides file="slides/cduce_psd.pdf">
+  <title>CDuce</title>
+  <author>A. Frisch</author>
+  <author>G. Castagna</author>
+  <author>V. Benzaken</author>  
+  <comment>Slides of the presentation given at the second PSD
+  Workshop (Feb. 2004)</comment>
+</slides>
+</li>  
+
+<li>
+<slides file="slides/ocamlcduce_psd.pdf">
+  <title>Interfacing CDuce and OCaml</title>
+  <author>G. Castagna</author>
+  <author>J. Demouth</author>
+  <author>A. Frisch</author>
+  <comment>Slides of the presentation given at the second PSD
+  Workshop (Feb. 2004)</comment>
+</slides>
+</li>  
+
 <li>
 <slides file="slides/icfp03.pdf">
   <title>CDuce</title>