Vincent Cremet

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Vincent Cremet, Philippe Altherr
Adding Type Constructor Parameterization to Java. J. Object Technol. 7 (5) (2008)
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
A Core Calculus for Scala Type Checking. MFCS (2006)
Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
A Nominal Theory of Objects with Dependent Types. ECOOP (2003)
Vincent Cremet, Martin Odersky
PiLib: A Hosted Language for Pi-Calculus Style Concurrency. Domain-Specific Program Generation (2003)
Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
An Equational Theory for Transactions. FSTTCS (2003)