| [1] | François Pottier. Types for complexity-checking, March 2011. Talk given at ENS, Lyon, France. [ PDF ] |
| [2] | François Pottier. Types for complexity-checking, January 2011. Talk given at JFLA 2011, La Bresse, France. [ PDF ] |
| [3] | François Pottier. A type-preserving store-passing translation for general references, January 2011. Talk given at POPL 2011, Austin, Texas. [ PDF ] |
| [4] | François Pottier. Types for complexity-checking, May 2010. Talk given at ENS, Lyon, France. [ PDF ] |
| [5] | François Pottier. Hidden state and the anti-frame rule, December 2009. Talk given at Université Paris 7, Paris, France. [ PDF ] |
| [6] | François Pottier. A type-preserving store-passing translation for general references, November 2009. Talk given at Université Paris 7, Paris, France. [ PDF ] |
| [7] | François Pottier. Gala de GAFs à gogo, March 2009. Talk given at Verimag, Grenoble, France. [ PDF ] |
| [8] | François Pottier. Hiding local state in direct style, September 2008. Talk given at Université Paris 7, Paris, France. [ PDF ] |
| [9] | Arthur Charguéraud. Functional translation of a calculus of capabilities, September 2008. Talk given at ICFP 2008, Victoria, Canada. [ PDF ] |
| [10] | Yann Régis-Gianas. A Hoare logic for call-by-value functional programs, July 2008. Talk given at MPC 2008, Marseille, France. [ PDF ] |
| [11] | François Pottier. Hiding local state in direct style, June 2008. Talk given at LICS 2008, Pittsburgh, Pennsylvania. [ PDF ] |
| [12] | François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, June 2008. Talk given at IFIP WG 2.8, Park City, Utah. [ PDF ] |
| [13] | François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, February 2008. Talk given in Schloss Dagstuhl, Germany. [ PDF ] |
| [14] | François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, January 2008. Talk given at INRIA, Rocquencourt. [ PDF ] |
| [15] | François Pottier. Static name control for FreshML, July 2007. Talk given in Wroclaw, Poland. [ PDF ] |
| [16] | François Pottier. Static name control for FreshML, May 2007. Talk given in Edinburgh, Great Britain. [ PDF ] |
| [17] | François Pottier. Wandering through linear types, capabilities, and regions, May 2007. Survey talk given at INRIA, Rocquencourt, France. [ PDF ] |
| [18] | François Pottier. Static name control for FreshML, September 2006. Talk given at Cambridge University, Great Britain. [ PDF ] |
| [19] | François Pottier. Un aperçu de Menhir, March 2006. Talk given at Université Paris 7, France. [ PDF ] |
| [20] | François Pottier. Un aperçu de Menhir, January 2006. Talk given at INRIA, Rocquencourt, France. [ PDF ] |
| [21] | Yann Régis-Gianas. Stratified type inference for generalized algebraic data types, January 2006. Talk given at POPL'06, Charleston, South Carolina. [ PDF ] |
| [22] | 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 ] |
| [23] | 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 ] |
| [24] | François Pottier. An overview of Cαml, September 2005. Talk given at the ML Workshop, Tallinn, Estonia. [ PDF ] |
| [25] | François Pottier. Présentation de Cαml, July 2005. Talk given at LRI, Orsay, France. [ PDF ] |
| [26] | François Pottier. Towards efficient, typed LR parsers, June 2005. Talk given in Schloss Dagstuhl, Germany. [ PDF ] |
| [27] | 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 ] |
| [28] | François Pottier. Vers des analyseurs syntaxiques efficaces et bien typés, January 2005. Talk given at ENS, Lyon, France. [ PDF ] |
| [29] | François Pottier. Types et contraintes, December 2004. Soutenance d'habilitation à diriger des recherches, Université Paris 7. [ PDF ] |
| [30] | François Pottier. Constraint-based type inference for GADTs, November 2004. Talk given at Microsoft Research, Cambridge, UK. [ PDF ] |
| [31] | 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 ] |
| [32] | François Pottier. Type-based information flow analyses, June 2004. Course given at the Summer School on Software Security, Eugene, Oregon. [ PDF ] |
| [33] | François Pottier. Polymorphic typed defunctionalization, January 2004. Talk given at POPL'04, Venice, Italy. [ PDF | DVI | PostScript ] |
| [34] | François Pottier. A constraint-based presentation and generalization of rows, June 2003. Talk given at LICS'03, Ottawa, Canada. [ PostScript ] |
| [35] | François Pottier. A constraint-based presentation of rows, December 2002. Talk given at ENS, Paris, France. [ PostScript ] |
| [36] | 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 ] |
| [37] | François Pottier. Sécurité par le typage, May 2002. Short presentation given at INRIA, Rocquencourt, France. [ PostScript ] |
| [38] | 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 ] |
| [39] | François Pottier. Types for information flow analysis, March 2002. Course given at the Spring School on Semantics of Programming Languages, Agay, France. [ PostScript ] |
| [40] | François Pottier. Une présentation moderne de l'inférence de types pour ML, March 2002. Talk given at INRIA, Rocquencourt, France. [ DVI ] |
| [41] | Vincent Simonet. Information flow inference for ML, January 2002. Talk given at POPL'02, Portland, Oregon. [ PDF ] |
| [42] | François Pottier. Inférence de types à base de contraintes, November 2001. Talk given at IRIT, Toulouse, France. [ DVI ] |
| [43] | 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 was generated by bibtex2html 1.96.