[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 ] |