Folgen
François Pottier
François Pottier
Inria Paris
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Information flow inference for ML
F Pottier, V Simonet
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (1), 117-158, 2003
3402003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2972002
The essence of ML type inference
F Pottier, D Rémy
Advanced Topics in Types and Programming Languages, 2005
1842005
Information flow inference for free
F Pottier, S Conchon
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1672000
Simplifying subtyping constraints
F Pottier
ACM SIGPLAN Notices 31 (6), 122-133, 1996
1251996
Validating LR(1) Parsers
JH Jourdan, F Pottier, X Leroy
European Symposium on Programming, 397-416, 2012
1072012
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
972001
A framework for type inference with subtyping
F Pottier
ICFP 98, 228-238, 1998
811998
A systematic approach to static access control
F Pottier, C Skalka, S Smith
European Symposium on Programming, 30-45, 2001
802001
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
752006
Functional translation of a calculus of capabilities
A Charguéraud, F Pottier
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
712008
Type inference in the presence of subtyping: from theory to practice
F Pottier
INRIA, 1998
701998
A versatile constraint-based type inference system
F Pottier
Nordic Journal of Computing 7 (4), 312-347, 2000
672000
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
652007
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
632008
Static name control for FreshML
F Pottier
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 356-365, 2007
632007
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
542019
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
522008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20