Vincent Simonet (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

3 François Pottier, Vincent Simonet: Information flow inference for ML. ACM Trans. Program. Lang. Syst. 25(1): 117-158 (2003)

1 François Pottier, Vincent Simonet: Information flow inference for ML. POPL 2002: 319-330

Selection of 3 from 6 records - Vincent Simonet has 1 coauthors

6		Vincent Simonet, François Pottier: A constraint-based approach to guarded algebraic data types. ACM Trans. Program. Lang. Syst. 29(1): (2007)
3		François Pottier, Vincent Simonet: Information flow inference for ML. ACM Trans. Program. Lang. Syst. 25(1): 117-158 (2003)
1		François Pottier, Vincent Simonet: Information flow inference for ML. POPL 2002: 319-330