Follow
Vincent Simonet
Vincent Simonet
Google, France
Verified email at vtst.net - 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
3572003
Information flow inference for ML
F Pottier, V Simonet
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
2932002
Flow Caml in a nutshell
V Simonet
Proceedings of the first APPSEM-II workshop, 152-165, 2003
1532003
The flow caml system
V Simonet
Software release. Located at http://cristal. inria. fr/~ simonet/soft …, 2003
792003
The Flow Caml System: documentation and user's manual
V Simonet
INRIA, 2003
772003
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
642007
Type inference with structural subtyping: A faithful formalization of an efficient constraint solver
V Simonet
Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003
572003
Constraint-based type inference for guarded algebraic data types
V Simonet, F Pottier
INRIA, 2005
452005
Fine-Grained Information Flow Analysis for a\lambda Calculus with Sum Types.
V Simonet
CSFW, 223-237, 2002
252002
Classifying youtube channels: a practical system
V Simonet
Proceedings of the 22nd International Conference on World Wide Web, 1295-1304, 2013
202013
An extension of HM (X) with bounded existential and universal data-types
V Simonet
ACM SIGPLAN Notices 38 (9), 39-50, 2003
192003
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
32004
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
The system can't perform the operation now. Try again later.
Articles 1–16