Vincent Cremet

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

Collaborative distances:

Timeline

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...