# Vincent Cremet

According to our database

^{1}, Vincent Cremet## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2008

Adding Type Constructor Parameterization to Java.

Journal of Object Technology, 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