Commit 31e27b93 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: afrisch
Date: 2004-03-03 10:51:49+00:00
parent 9857c922
...@@ -67,7 +67,8 @@ Superseded by the previous paper ...@@ -67,7 +67,8 @@ Superseded by the previous paper
<title>A Gentle Introduction to Semantic Subtyping</title> <title>A Gentle Introduction to Semantic Subtyping</title>
<author>G. Castagna</author> <author>G. Castagna</author>
<author>A. Frisch</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 <abstract> <p> Subtyping relations are usually defined either syntactically
by a formal system or semantically by an interpretation of types into an by a formal system or semantically by an interpretation of types into an
...@@ -254,6 +255,28 @@ constrained runtime environment, ..). ...@@ -254,6 +255,28 @@ constrained runtime environment, ..).
<box title="Slides" link="slides"> <box title="Slides" link="slides">
<ul> <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> <li>
<slides file="slides/icfp03.pdf"> <slides file="slides/icfp03.pdf">
<title>CDuce</title> <title>CDuce</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