Vincent Cremet

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Adding Type Constructor Parameterization to Java.

Vincent Cremet, Philippe Altherr

J. Object Technol., 2008

2006

A Core Calculus for Scala Type Checking.

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

2003

An Equational Theory for Transactions.

Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

A Nominal Theory of Objects with Dependent Types.

Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger

Proceedings of the ECOOP 2003, 2003

PiLib: A Hosted Language for Pi-Calculus Style Concurrency.

Vincent Cremet, Martin Odersky

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003