Miscellaneous
 |  |
| [english] | french |
| [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 in PostScript PDF | Paper in 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 in PostScript PDF | Paper in 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 in PostScript PDF ] |
| [4] | Flow Caml in a Nutshell.
Talk given at the First APPSEM-II Workshop (Nottingham, United Kingdom),
March 2003.
[ Slides in PostScript PDF | Paper in 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 in 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 in 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 in 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 in PostScript PDF | Paper in 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 in 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 in PostScript PDF | Paper in PostScript PDF | Conference site ] |
| [11] | Information flow inference for ML.
Talk given at the Démons seminar (LRI),
November 2001.
[ Slides in PostScript PDF | Seminar page ] |
| [12] | Information flow inference for ML.
Talk given at the Lande seminar (IRISA),
October 2001.
[ Slides in PostScript PDF | Seminar page ] |
| [13] | Information flow inference for ML.
Talk given at the Mimosa seminar (INRIA Sophia-Antipolis),
September 2001.
[ Slides in PostScript PDF | Seminar page ] |
| [14] | Information flow inference for ML.
Talk given at the Logical - Cristal - Moscova seminar (INRIA Rocquencourt),
February 2001.
[ Slides in PostScript ] |
| |
| [english] | french |