 | 2008 |
|---|
| 5 |       | Vincent Cremet,
Philippe Altherr:
Adding Type Constructor Parameterization to Java.
Journal of Object Technology 7(5): 25-65 (2008) |
| 2006 |
|---|
| 4 | | Vincent Cremet,
François Garillot,
Sergueï Lenglet,
Martin Odersky:
A Core Calculus for Scala Type Checking.
MFCS 2006: 1-23 |
| 2003 |
|---|
| 3 | | Vincent Cremet,
Martin Odersky:
PiLib: A Hosted Language for Pi-Calculus Style Concurrency.
Domain-Specific Program Generation 2003: 180-195 |
| 2 | | Martin Odersky,
Vincent Cremet,
Christine Röckl,
Matthias Zenger:
A Nominal Theory of Objects with Dependent Types.
ECOOP 2003: 201-224 |
| 1 | | Andrew P. Black,
Vincent Cremet,
Rachid Guerraoui,
Martin Odersky:
An Equational Theory for Transactions.
FSTTCS 2003: 38-49 |
Data released under the ODC-BY 1.0 license — See also our legal information page