|
Search the dblp DataBase
Vincent Cremet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vincent Cremet, Martin Odersky
PiLib: A Hosted Language for Pi-Calculus Style Concurrency. [Citation Graph (0, 0)][DBLP] Domain-Specific Program Generation, 2003, pp:180-195 [Conf]
- Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
A Nominal Theory of Objects with Dependent Types. [Citation Graph (0, 0)][DBLP] ECOOP, 2003, pp:201-224 [Conf]
- Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky
An Equational Theory for Transactions. [Citation Graph (0, 0)][DBLP] FSTTCS, 2003, pp:38-49 [Conf]
- Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
A Core Calculus for Scala Type Checking. [Citation Graph (0, 0)][DBLP] MFCS, 2006, pp:1-23 [Conf]
Search in 0.001secs, Finished in 0.001secs
|