| [1] |
François Pottier.
A modern eye on ML type inference: old
techniques and recent developments, September 2005.
Course given at the APPSEM Summer School, Frauenchiemsee, Germany. [ PDF ] |
| [2] |
François Pottier.
Where is ML type inference headed?
Constraint solving meets local shape inference, September 2005.
Invited talk given at ICFP'05, Tallinn, Estonia. [ PDF ] |
| [3] |
François Pottier.
An overview of Cαml, September
2005.
Talk given at the ML Workshop, Tallinn, Estonia. [ PDF ] |
| [4] |
François Pottier.
Présentation de Cαml, July
2005.
Talk given at LRI, Orsay, France. [ PDF ] |
| [5] |
François Pottier.
Towards efficient, typed LR parsers,
June 2005.
Talk given at Schloss Dagstuhl, Germany. [ PDF ] |
| [6] |
François Pottier.
Type-based information flow analyses,
January 2005.
Course given at the CIMPA School on Security of Computer Systems and
Networks, Bangalore, India. [ PDF ] |
| [7] |
François Pottier.
Vers des analyseurs syntaxiques efficaces
et bien typés, January 2005.
Talk given at ENS, Lyon, France. [ PDF ] |
| [8] |
François Pottier.
Types et contraintes, December 2004.
Soutenance d'habilitation à diriger des recherches, Université Paris
7. [ PDF ] |
| [9] |
François Pottier.
Constraint-based type inference for
GADTs, November 2004.
Talk given at Microsoft Research, Cambridge, UK. [ PDF ] |
| [10] |
Nadji Gauthier.
Numbering matters: First-order canonical
forms for second-order recursive types, September 2004.
Talk given at ICFP'04, Snowbird, Utah. Animations in the slides
require the advi viewer. [ DVI ] |
| [11] |
François Pottier.
Type-based information flow analyses,
June 2004.
Course given at the Summer School on Software Security, Eugene,
Oregon. [ PDF ] |
| [12] |
François Pottier.
Polymorphic typed defunctionalization,
January 2004.
Talk given at POPL'04, Venice, Italy. [ PDF | DVI | PostScript ] |
| [13] |
François Pottier.
A constraint-based presentation and
generalization of rows, June 2003.
Talk given at LICS'03, Ottawa, Canada. [ PostScript ] |
| [14] |
François Pottier.
A constraint-based presentation of rows,
December 2002.
Talk given at ENS, Paris, France. [ PostScript ] |
| [15] |
François Pottier.
A simple view of type-secure information
flow in the π-calculus, June 2002.
Talk given at CSFW'15, Cape Breton, Canada. [ PDF | PostScript ] |
| [16] |
François Pottier.
Sécurité par le typage, May 2002.
Short presentation given at INRIA, Rocquencourt, France. [ PostScript ] |
| [17] |
François Pottier.
Proving the correctness of type-based
information flow analyses: some approaches, April 2002.
Talk given at the Profundis meeting, INRIA, Sophia, France. [ PostScript ] |
| [18] |
François Pottier.
Types for information flow analysis,
March 2002.
Course given at the Spring School on Semantics of Programming
Languages, Agay, France. [ PostScript ] |
| [19] |
François Pottier.
Une présentation moderne de l'inférence de
types pour ML, March 2002.
Talk given at INRIA, Rocquencourt, France. [ DVI ] |
| [20] |
Vincent Simonet.
Information flow inference for ML,
January 2002.
Talk given at POPL'02, Portland, Oregon. [ PDF ] |
| [21] |
François Pottier.
Inférence de types à base de
contraintes, November 2001.
Talk given at IRIT, Toulouse, France. [ DVI ] |
| [22] |
François Pottier.
``Typing-by-encoding'' - a
reductionistic approach to building type systems, July 2000.
Talk given at IFIP WG 2.8, Seattle, Washington. [ PostScript ] |
This file has been generated by bibtex2html 1.74