Bric-à-brac
 |  |
| english | [french] |
| [1] | Inférence de types en présence de sous-typage structurel: Formalisation fidèle d'un solveur de contraintes efficace.
Exposé présenté à la conférence APLAS'03 (Asian Symposium on Programming Languages and Systems),
Novembre 2003.
[ Transparents: PostScript PDF | Papier: PostScript PDF | Site de la conférence ] |
| [2] | Une extension de HM(X) avec des types existentiels et universels bornés.
Exposé présenté à la conférence ICFP'03 (ACM International Conference on Functional Programming),
Août 2003.
[ Transparents: PostScript PDF | Papier: PostScript PDF | Site de la conférence ] |
| [3] | Une extension de HM(X) avec des types existentiels et universels bornés.
Exposé présenté au groupe de travail Cristal (INRIA Rocquencourt),
Juillet 2003.
[ Transparents: PostScript PDF ] |
| [4] | Flow Caml en quelques mots.
Exposé présenté au premier groupe de travail APPSEM-II (Nottingham, Royaume-Uni),
Mars 2003.
[ Transparents: PostScript PDF | Papier: PostScript PDF | Site de la conférence ] |
| [5] | Analyse de flots d'information pour ML: formalisation et implantation.
Exposé présenté au séminaire PPS (Université Paris 7),
Janvier 2003.
[ Transparents: PostScript PDF | Page du séminaire ] |
| [6] | Analyse de flots d'information pour Caml: de la théorie à la pratique.
Exposé présenté au séminaire des élèves du département d'informatique de l'École normale supérieure (Paris),
Novembre 2002.
[ Transparents: PostScript PDF ] |
| [7] | Analyse de flots d'information pour Caml : de la théorie à la pratique.
Exposé présenté au séminaire du MIM (École normale supérieure de Lyon),
Octobre 2002.
[ Transparents: PostScript PDF ] |
| [8] | Une analyse de flots d'information raffinée pour un lambda-calcul avec types sommes.
Exposé présenté à la conférence CSFW 15 (Computer Security Foundations Workshop),
Juin 2002.
[ Transparents: PostScript PDF | Papier: PostScript PDF | Site de la conférence ] |
| [9] | Une analyse de flots d'information raffinée pour un lambda-calcul avec types sommes.
Exposé présenté au groupe de travail Cristal (INRIA Rocquencourt),
Février 2002.
[ Transparents: PostScript PDF ] |
| [10] | Inférence de flots d'information pour ML.
Exposé présenté à la conférence POPL'02 (ACM Symposium on Principles of Programming Languages),
Janvier 2002.
[ Transparents: PostScript PDF | Papier: PostScript PDF | Site de la conférence ] |
| [11] | Inférence de flots d'information pour ML.
Exposé présenté au séminaire de l'équipe Démons (LRI),
Novembre 2001.
[ Transparents: PostScript PDF | Page du séminaire ] |
| [12] | Inférence de flots d'information pour ML.
Exposé présenté au séminaire Lande (IRISA),
Octobre 2001.
[ Transparents: PostScript PDF | Page du séminaire ] |
| [13] | Inférence de flots d'information pour ML.
Exposé présenté au séminaire Mimosa (INRIA Sophia-Antipolis),
Septembre 2001.
[ Transparents: PostScript PDF | Page du séminaire ] |
| [14] | Inférence de flots d'information pour ML.
Exposé présenté au séminaire Logical - Cristal - Moscova (INRIA Rocquencourt),
Février 2001.
[ Transparents: PostScript ] |
| |
| english | [french] |