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
3572003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2932002
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
1932005
Information flow inference for free
F Pottier, S Conchon
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1752000
Simplifying subtyping constraints
F Pottier
ACM SIGPLAN Notices 31 (6), 122-133, 1996
1251996
Validating LR(1) Parsers
JH Jourdan, F Pottier, X Leroy
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
1122012
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
1022002
Simplifying subtyping constraints: a theory
F Pottier
Information and Computation 170 (2), 153-183, 2001
1012001
A framework for type inference with subtyping
F Pottier
ICFP 98, 228-238, 1998
851998
A systematic approach to static access control
F Pottier, C Skalka, S Smith
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
812001
Stratified type inference for generalized algebraic data types
F Pottier, Y Régis-Gianas
POPL 6, 232-244, 2006
782006
An overview of Cαml
F Pottier
Electronic Notes in Theoretical Computer Science 148 (2), 27-52, 2006
762006
Type inference in the presence of subtyping: from theory to practice
F Pottier
INRIA, 1998
741998
Functional translation of a calculus of capabilities
A Charguéraud, F Pottier
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
732008
A versatile constraint-based type inference system
F Pottier
Nordic Journal of Computing 7 (4), 312-347, 2000
672000
Static name control for FreshML
F Pottier
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 356-365, 2007
662007
A Hoare logic for call-by-value functional programs
Y Régis-Gianas, F Pottier
Mathematics of Program Construction: 9th International Conference, MPC 2008 …, 2008
652008
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
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
612019
Polymorphic typed defunctionalization
F Pottier, N Gauthier
ACM SIGPLAN Notices 39 (1), 89-98, 2004
532004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20