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 | 306 | 2002 |
Flow Caml in a nutshell V Simonet Proceedings of the first APPSEM-II workshop, 152-165, 2003 | 161 | 2003 |
The flow caml system V Simonet Software release. Located at http://cristal. inria. fr/~ simonet/soft …, 2003 | 81 | 2003 |
The Flow Caml System: documentation and user's manual V Simonet INRIA, 2003 | 81 | 2003 |
A constraint-based approach to guarded algebraic data types V Simonet, F Pottier ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (1), 1-es, 2007 | 67 | 2007 |
Type inference with structural subtyping: A faithful formalization of an efficient constraint solver V Simonet Asian Symposium on Programming Languages and Systems, 283-302, 2003 | 60 | 2003 |
Constraint-based type inference for guarded algebraic data types V Simonet, F Pottier INRIA, 2005 | 47 | 2005 |
Fine-Grained Information Flow Analysis for a\lambda Calculus with Sum Types. V Simonet CSFW, 223-237, 2002 | 25 | 2002 |
Classifying youtube channels: a practical system V Simonet Proceedings of the 22nd International Conference on World Wide Web, 1295-1304, 2013 | 21 | 2013 |
An extension of HM (X) with bounded existential and universal data-types V Simonet ACM SIGPLAN Notices 38 (9), 39-50, 2003 | 19 | 2003 |
The Flow Caml system. Software release (July 2003) V Simonet | 9 | |
Inférence de flots d’information pour ML: formalisation et implantation V Simonet Ph. D. Thesis, Université Paris 7-Denis Diderot, 2004 | 4 | 2004 |
An extension of HM (X) with first class existential and universal data-types V Simonet Proc. 8th ACM SIGPLAN International Conference on Functional Programming …, 0 | 2 | |
Constraint-based type inference for GADTs V Simonet, F Pottier | | 2004 |
Inférence de flots d’information pour ML V Simonet | | 2001 |