François Pottier
François Pottier
Inria Paris
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Information flow inference for ML
F Pottier, V Simonet
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (1), 117-158, 2003
3322003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2862002
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
1822005
Information flow inference for free
F Pottier, S Conchon
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1642000
Simplifying subtyping constraints
F Pottier
ACM SIGPLAN Notices 31 (6), 122-133, 1996
1251996
A simple view of type-secure information flow in the/spl pi/-calculus
F Pottier
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 320-330, 2002
1012002
Validating LR(1) Parsers
JH Jourdan, F Pottier, X Leroy
European Symposium on Programming, 397-416, 2012
992012
Simplifying subtyping constraints: a theory
F Pottier
Information and Computation 170 (2), 153-183, 2001
942001
A framework for type inference with subtyping
F Pottier
ICFP 98, 228-238, 1998
831998
A systematic approach to static access control
F Pottier, C Skalka, S Smith
European Symposium on Programming, 30-45, 2001
802001
An overview of Cαml
F Pottier
Electronic Notes in Theoretical Computer Science 148 (2), 27-52, 2006
762006
Stratified type inference for generalized algebraic data types
F Pottier, Y Régis-Gianas
POPL 6, 232-244, 2006
762006
Functional translation of a calculus of capabilities
A Charguéraud, F Pottier
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
692008
A versatile constraint-based type inference system
F Pottier
Nordic Journal of Computing 7 (4), 312-347, 2000
672000
Type inference in the presence of subtyping: from theory to practice
F Pottier
INRIA, 1998
661998
Static name control for FreshML
F Pottier
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 356-365, 2007
642007
A constraint-based approach to guarded algebraic data types
V Simonet, F Pottier
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (1), 1, 2007
642007
A Hoare logic for call-by-value functional programs
Y Régis-Gianas, F Pottier
International Conference on Mathematics of Program Construction, 305-335, 2008
612008
Polymorphic typed defunctionalization
F Pottier, N Gauthier
ACM SIGPLAN Notices 39 (1), 89-98, 2004
502004
Hiding local state in direct style: a higher-order anti-frame rule
F Pottier
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 331-340, 2008
492008
The system can't perform the operation now. Try again later.
Articles 1–20