[1] |
Type inference with structural subtyping: A faithful formalization of an efficient constraint solver.
Talk given
at the First Asian Symposium on Programming Languages and Systems (APLAS'03),
November 2003.
[ Slides: PostScript PDF | Article: PostScript PDF | Conference site ] |
[2] |
An extension of HM(X) with bounded existential and universal data-types.
Talk given
at the 8th ACM International Conference on Functional Programming (ICFP'03),
August 2003.
[ Slides: PostScript PDF | Article: PostScript PDF | Conference site ] |
[3] |
An extension of HM(X) with bounded existential and universal data-types.
Talk given
at the Cristal working group (INRIA Rocquencourt),
July 2003.
[ Slides: PostScript PDF ] |
[4] |
Flow Caml in a Nutshell.
Talk given
at the First APPSEM-II Workshop (Nottingham, United Kingdom),
March 2003.
[ Slides: PostScript PDF | Article: PostScript PDF | Workshop site ] |
[5] |
Information flow analysis for ML: formalization and implementation.
Talk given
at the PPS seminar (University Paris 7),
January 2003.
[ Slides: PostScript PDF | Seminar page ] |
[6] |
Information flow analysis for Caml: from theory to practice.
Talk given
at the students seminar of the computer science department of the École normale supérieure (Paris),
November 2002.
[ Slides: PostScript PDF ] |
[7] |
Information flow analysis for Caml: from theory to practice.
Talk given
at the MIM seminar (École normale supérieure of Lyon),
October 2002.
[ Slides: PostScript PDF ] |
[8] |
Fine-grained information flow analysis for a lambda-calculus with sum types.
Talk given
at the 15th IEEE Computer Security Foundations Workshop (CSFW 15),
June 2002.
[ Slides: PostScript PDF | Article: PostScript PDF | Workshop site ] |
[9] |
Fine-grained information flow analysis for a lambda-calculus with sum types.
Talk given
at the Cristal working group (INRIA Rocquencourt),
February 2002.
[ Slides: PostScript PDF ] |
[10] |
Information flow inference for ML.
Talk given
at the 29th ACM Symposium on Principles of Programming Languages (POPL'02),
January 2002.
[ Slides: PostScript PDF | Article: PostScript PDF | Conference site ] |
[11] |
Information flow inference for ML.
Talk given
at the Démons seminar (LRI),
November 2001.
[ Slides: PostScript PDF | Seminar page ] |
[12] |
Information flow inference for ML.
Talk given
at the Lande seminar (IRISA),
October 2001.
[ Slides: PostScript PDF | Seminar page ] |
[13] |
Information flow inference for ML.
Talk given
at the Mimosa seminar (INRIA Sophia-Antipolis),
September 2001.
[ Slides: PostScript PDF | Seminar page ] |
[14] |
Information flow inference for ML.
Talk given
at the Logical - Cristal - Moscova seminar (INRIA Rocquencourt),
February 2001.
[ Slides: PostScript ] |