Commit 57ff643e authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-08-25 14:37:13 by cvscast] Empty log message

Original author: cvscast
Date: 2003-08-25 14:37:13+00:00
parent 97144313
......@@ -176,6 +176,16 @@ surcharg
<box title="Slides" link="slides">
<ul>
<li>
<slides file="slides/icfp03.pdf">
<title>CDuce</title>
<author>A. Frisch</author>
<author>G. Castagna</author>
<author>V. Benzaken</author>
<comment>Slides of the presentation given at ICFP03 (Aug. 2003)</comment>
</slides>
</li>
<li>
<slides file="slides/lri02.pdf">
<title>Semantic Subtyping</title>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment