Vincent Simonet
Exposés scientifiques

[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 ]
icon
Informatique théorique
Bric-à-brac
enfr
english[french]