Fine-Grained Information Flow Analysis for a lambda Calculus with Sum Types. - Vincent Simonet (CSFW, 2002)

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. - Vincent Simonet (APLAS, 2003)

An extension of HM(X) with bounded existential and universal data-types. - Vincent Simonet (ICFP, 2003)

Information flow inference for ML. - François Pottier; Vincent Simonet (ACM Trans. Program. Lang. Syst., 2003)

A constraint-based approach to guarded algebraic data types. - Vincent Simonet; François Pottier (ACM Trans. Program. Lang. Syst., 2007)

Classifying YouTube channels: a practical system. - Vincent Simonet (WWW (Companion Volume), 2013)