Skip to content
GitLab
Menu
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
981d743c
Commit
981d743c
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-01-05 16:31:24 by afrisch] Empty log message
Original author: afrisch Date: 2005-01-05 16:31:24+00:00
parent
35fb94d9
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/stages.xml
View file @
981d743c
...
...
@@ -10,8 +10,9 @@
encadrant: Alain Frisch.
</li>
<li>
<local
href=
"stage_poly_cduce"
/>
. INRIA Rocquencourt (projet Cristal),
encadrant: Alain Frisch.
</li>
<local
href=
"stage_poly_cduce"
/>
. INRIA Rocquencourt (projet
Cristal), ENS Ulm (équipe Langages),
encadrants: Alain Frisch, Giuseppe Castagna.
</li>
<li>
<local
href=
"stage_pattern_template"
/>
. INRIA Rocquencourt (projet Cristal),
...
...
@@ -91,11 +92,14 @@
<title>
Sous-typage ensembliste, polymorphisme et ordre supérieur
</title>
<box
title=
"Infos pratiques"
link=
"info"
>
<ul>
<li>
Encadrant:
<a
href=
"mailto:Alain.Frisch@inria.fr"
>
Alain
Frisch
</a>
.
</li>
<li>
Laboratoire:
<a
<li>
Encadrants:
<a
href=
"mailto:Alain.Frisch@inria.fr"
>
Alain
Frisch
</a>
,
<a
href=
"mailto:Giuseppe.Castagna@ens.fr"
>
Giuseppe
Castagna
</a>
.
</li>
<li>
Laboratoires:
<a
href=
"http://pauillac.inria.fr/cristal/index-fra.html"
>
projet
Cristal
</a>
, INRIA Rocquencourt.
</li>
Cristal
</a>
, INRIA Rocquencourt;
<a
href=
"http://www.di.ens.fr/~castagna/EQUIPE/"
>
équipe Langages
</a>
, ENS Ulm.
</li>
</ul>
<p>
Le stage se rapporte au cours 2-4 (Langages de programmation) du MPRI.
</p>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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