Vincent Cremet (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23

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

Selection of 4 from 4 records - Vincent Cremet has 7 coauthors

4		Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky: A Core Calculus for Scala Type Checking. MFCS 2006: 1-23
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