Follow
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
3732003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
3092002
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
2142005
Information flow inference for free
F Pottier, S Conchon
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1752000
Validating LR(1) Parsers
JH Jourdan, F Pottier, X Leroy
European Symposium on Programming, 397-416, 2012
1362012
Simplifying subtyping constraints
F Pottier
ACM SIGPLAN Notices 31 (6), 122-133, 1996
1281996
Simplifying subtyping constraints: a theory
F Pottier
Information and Computation 170 (2), 153-183, 2001
1122001
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
1092002
A framework for type inference with subtyping
F Pottier
ICFP 98, 228-238, 1998
921998
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
882019
Type inference in the presence of subtyping: from theory to practice
F Pottier
INRIA, 1998
851998
Stratified type inference for generalized algebraic data types
F Pottier, Y Régis-Gianas
POPL 6, 232-244, 2006
832006
A systematic approach to static access control
F Pottier, C Skalka, S Smith
Programming Languages and Systems: 10th European Symposium on Programming …, 2001
792001
An overview of Cαml
F Pottier
Electronic Notes in Theoretical Computer Science 148 (2), 27-52, 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
732008
A versatile constraint-based type inference system
F Pottier
Nordic Journal of Computing 7 (4), 312-347, 2000
732000
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
712008
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
712008
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
Time credits and time receipts in Iris
G Mével, JH Jourdan, F Pottier
European Symposium on Programming 11423, 3-29, 2019
642019
The system can't perform the operation now. Try again later.
Articles 1–20