Information flow inference for ML F Pottier, V Simonet ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (1), 117-158, 2003 | 371 | 2003 |
Information flow inference for ML F Pottier, V Simonet Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 307 | 2002 |
The essence of ML type inference F Pottier, D Rémy Advanced Topics in Types and Programming Languages, 2005 | 207 | 2005 |
Information flow inference for free F Pottier, S Conchon Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000 | 177 | 2000 |
Validating LR(1) Parsers JH Jourdan, F Pottier, X Leroy European Symposium on Programming, 397-416, 2012 | 133 | 2012 |
Simplifying subtyping constraints F Pottier ACM SIGPLAN Notices 31 (6), 122-133, 1996 | 126 | 1996 |
Simplifying subtyping constraints: a theory F Pottier Information and Computation 170 (2), 153-183, 2001 | 109 | 2001 |
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 | 106 | 2002 |
A framework for type inference with subtyping F Pottier ICFP 98, 228-238, 1998 | 89 | 1998 |
Stratified type inference for generalized algebraic data types F Pottier, Y Régis-Gianas POPL 6, 232-244, 2006 | 83 | 2006 |
Type inference in the presence of subtyping: from theory to practice F Pottier INRIA, 1998 | 81 | 1998 |
A systematic approach to static access control F Pottier, C Skalka, S Smith Programming Languages and Systems: 10th European Symposium on Programming …, 2001 | 80 | 2001 |
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 | 79 | 2019 |
An overview of Cαml F Pottier Electronic Notes in Theoretical Computer Science 148 (2), 27-52, 2006 | 77 | 2006 |
Functional translation of a calculus of capabilities A Charguéraud, F Pottier Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008 | 74 | 2008 |
A versatile constraint-based type inference system F Pottier Nordic Journal of Computing 7 (4), 312-347, 2000 | 72 | 2000 |
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 | 70 | 2008 |
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 | 70 | 2008 |
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 | 67 | 2007 |
Static name control for FreshML F Pottier 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 356-365, 2007 | 65 | 2007 |