Vincent Simonet

	2007
6		Vincent Simonet, François Pottier: A constraint-based approach to guarded algebraic data types. ACM Trans. Program. Lang. Syst. 29(1): (2007)
	2003
5		Vincent Simonet: Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver. APLAS 2003: 283-302
4		Vincent Simonet: An extension of HM(X) with bounded existential and universal data-types. ICFP 2003: 39-50
3		François Pottier, Vincent Simonet: Information flow inference for ML. ACM Trans. Program. Lang. Syst. 25(1): 117-158 (2003)
	2002
2		Vincent Simonet: Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types. CSFW 2002: 223-237
1		François Pottier, Vincent Simonet: Information flow inference for ML. POPL 2002: 319-330

Coauthor Index

1

François Pottier

[1] [3] [6]