Vincent Simonet
According to our database1,
Vincent Simonet
authored at least 6 papers
between 2002 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Proceedings of the 22nd International World Wide Web Conference, 2013
2007
ACM Trans. Program. Lang. Syst., 2007
2003
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.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
2002
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002