| 2006 |
|---|
| 4 | EE | Vincent Cremet,
François Garillot,
Sergueï Lenglet,
Martin Odersky:
A Core Calculus for Scala Type Checking.
MFCS 2006: 1-23 |
| 2003 |
|---|
| 3 | EE | Vincent Cremet,
Martin Odersky:
PiLib: A Hosted Language for Pi-Calculus Style Concurrency.
Domain-Specific Program Generation 2003: 180-195 |
| 2 | EE | Martin Odersky,
Vincent Cremet,
Christine Röckl,
Matthias Zenger:
A Nominal Theory of Objects with Dependent Types.
ECOOP 2003: 201-224 |
| 1 | EE | Andrew P. Black,
Vincent Cremet,
Rachid Guerraoui,
Martin Odersky:
An Equational Theory for Transactions.
FSTTCS 2003: 38-49 |
