Suivre
François Pottier
François Pottier
Inria Paris
Adresse e-mail validée de inria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Information flow inference for ML
F Pottier, V Simonet
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (1), 117-158, 2003
3712003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
3062002
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
2062005
Information flow inference for free
F Pottier, S Conchon
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1772000
Validating LR(1) Parsers
JH Jourdan, F Pottier, X Leroy
European Symposium on Programming, 397-416, 2012
1302012
Simplifying subtyping constraints
F Pottier
ACM SIGPLAN Notices 31 (6), 122-133, 1996
1261996
Simplifying subtyping constraints: a theory
F Pottier
Information and Computation 170 (2), 153-183, 2001
1092001
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
1062002
A framework for type inference with subtyping
F Pottier
ICFP 98, 228-238, 1998
891998
Stratified type inference for generalized algebraic data types
F Pottier, Y Régis-Gianas
POPL 6, 232-244, 2006
832006
Type inference in the presence of subtyping: from theory to practice
F Pottier
INRIA, 1998
811998
A systematic approach to static access control
F Pottier, C Skalka, S Smith
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
802001
Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
A Charguéraud, F Pottier
Journal of Automated Reasoning 62 (3), 331-365, 2019
792019
An overview of Cαml
F Pottier
Electronic Notes in Theoretical Computer Science 148 (2), 27-52, 2006
772006
Functional translation of a calculus of capabilities
A Charguéraud, F Pottier
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
742008
A versatile constraint-based type inference system
F Pottier
Nordic Journal of Computing 7 (4), 312-347, 2000
722000
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
702008
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
702008
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
672007
Static name control for FreshML
F Pottier
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 356-365, 2007
652007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20