Vincent Cremet

According to our database1, Vincent Cremet authored at least 5 papers between 2003 and 2008.

Collaborative distances:

Timeline

2003
2004
2005
2006
2007
2008
0
1
2
3
4
1
1
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Adding Type Constructor Parameterization to Java.
J. Object Technol., 2008

2006
A Core Calculus for Scala Type Checking.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

2003
An Equational Theory for Transactions.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

A Nominal Theory of Objects with Dependent Types.
Proceedings of the ECOOP 2003, 2003

PiLib: A Hosted Language for Pi-Calculus Style Concurrency.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003


  Loading...