Travelled to:1 × Sweden
1 × USA
Collaborated with:∅ F.Pottier
Talks about:existenti (1) univers (1) inform (1) extens (1) infer (1) bound (1) type (1) flow (1) data (1) ml (1)
Person: Vincent Simonet
DBLP: Simonet:Vincent
Contributed to:
2003
2002Wrote 2 papers:
- ICFP-2003-Simonet #bound #data type
- An extension of HM(X) with bounded existential and universal data-types (VS), pp. 39–50.
- POPL-2002-PottierS #data flow #ml
- Information flow inference for ML (FP, VS), pp. 319–330.