Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
ab60be2f
Commit
ab60be2f
authored
Jul 10, 2007
by
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
8e0966ec
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/papers.xml
View file @
ab60be2f
...
...
@@ -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>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment