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