Vincent Simonet

According to our database, Vincent Simonet authored at least 6 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Classifying YouTube channels: a practical system.

Vincent Simonet

Proceedings of the 22nd International World Wide Web Conference, 2013

2007

A constraint-based approach to guarded algebraic data types.

Vincent Simonet, François Pottier

ACM Trans. Program. Lang. Syst., 2007

2003

Information flow inference for ML.

François Pottier, Vincent Simonet

ACM Trans. Program. Lang. Syst., 2003

An extension of HM(X) with bounded existential and universal data-types.

Vincent Simonet

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.

Vincent Simonet

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types.

Vincent Simonet

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002