@article{ cremet-altherr:jot08,
author    = {Vincent Cremet and Philippe Altherr},
title     = {Adding Type Constructor Parameterization to {J}ava},
journal   = {Journal of Object Technology},
year      = {2008},
volume    = {7},
number    = {5},
pages     = {25--65},
month     = {June},
note      = {Special Issue: Workshop on FTfJP, ECOOP 07. http://www.jot.fm/issues/issue\_2008\_06/article2/}
}

@misc{ altherr-cremet:ftfjp07,
author    = {Philippe Altherr and Vincent Cremet},
title     = {Adding Type Constructor Parameterization to {J}ava},
note      = {Presented at Formal Techniques for Java-like Programs (FTfJP'07),
             a workshop of the 21st European Conference on Object-Oriented
             Programming (ECOOP'07)},
month     = {July},
year      = 2007
}

@misc{ altherr-cremet:ecoop07,
author    = {Philippe Altherr and Vincent Cremet},
title     = {Abstract Type Constructors for {J}ava-like Languages},
note      = {Rejected at the 21st European Conference on Object-Oriented
             Programming (ECOOP'07)},
month     = {July},
year      = {2007}
}

@phdthesis{ cremet:phdthesis,
author = {Vincent Cremet},
title  = {Foundations for {S}cala: Semantics and Proof of Virtual Types},
school = {EPFL},
year   = {2006},
month  = {October},
note   = {No. 3556, supervised by Martin Odersky},
url    = {http://library.epfl.ch/theses/?nr=3556}
}

@inproceedings{ featherweight-scala:mfcs06,
author    = {Vincent Cremet and Fran\c{c}ois Garillot and
             Sergue\"i Lenglet and Martin Odersky},
title     = {A Core Calculus for {S}cala Type Checking},
booktitle = {Proceedings of the 31st International Symposium on Mathematical
             Foundations of Computer Science (MFCS'06)},
year      = {2006},
month     = {September},
series    = {Springer LNCS}
}

@techreport{ scaletta,
author      = {Philippe Altherr and Vincent Cremet}, 
title       = {Inner Classes and Virtual Types},
institution = {EPFL},
year        = {2005},
number      = {IC/2005/013}
}

@inproceedings{ pilibDAGSTUHL03,
author    = {Vincent Cremet and Martin Odersky},
title     = {PiLib: A Hosted Language for Pi-Calculus Style Concurrency},
booktitle = {Dagstuhl proceedings: Domain-Specific Program Generation},
year      = {2003}
}

@inproceedings{ transactionsFSTTCS03,
author    = {Andrew P. Black and Vincent Cremet and Rachid Guerraoui and Martin Odersky},
title     = {An Equational Theory for Transactions},
booktitle = {Proceedings of the 23rd Conference on Foundations of Software Technology
             and Theoretical Computer Science (FSTTCS'03)},
location  = {Mumbai (Bombay), India},
month     = {December},
year      = {2003},
note      = {Full version available as EPFL technical report IC/2003/26, 2003}
}

@inproceedings{ odersky-et-al:ecoop03,
author    = {Martin Odersky and Vincent Cremet and Christine R\"ockl and Matthias Zenger},
title     = {A Nominal Theory of Objects with Dependent Types},
booktitle = {Proceedings of the 17th European Conference on Object-Oriented
             Programming (ECOOP'03)},
year      = {2003},
month     = {July},
series    = {Springer LNCS}
}

@mastersthesis{ cremet:dea,
author = {Vincent Cremet},
title  = {Spécification et vérification de systèmes temps-réel avec la logique linéaire},
school = {D.E.A de Programmation: Sémantique, Preuves et Langages,
          Université Paris 7 - Denis Diderot},
note   = {Supervised by M. Okada and J.-P. Jouannaud},
year   = {2000}
}

@techreport{ LAMP-REPORT-2006-001,
abstract    = {Scala fuses object-oriented and functional programming
               in a statically typed programming language. It is aimed
               at the construction of components and component systems.
               This paper gives an overview of the Scala language for
               readers who are familar with programming methods and
               programming language design.},
author      = {Odersky, Martin and Altherr, Philippe and Cremet,
               Vincent and Dragos, Iulian and Dubochet, Gilles and Emir,
               Burak and McDirmid, Sean and Micheloud, St\'ephane and
               Mihaylov, Nikolay and Schinz, Michel and Spoon, Lex and
               Stenman, Erik and Zenger, Matthias},
institution = {EPFL},
details     = {http://infoscience.epfl.ch/search.py?recid=85634},
documenturl = {http://infoscience.epfl.ch/getfile.py?recid=85634&mode=best},
keywords    = {components; programming language design; type systems;
               web services; functional programming; object-oriented
               programming; XML processing},
title       = {An {O}verview of the {S}cala {P}rogramming {L}anguage (Second Edition)},
unit        = {LAMP},
number      = {LAMP-REPORT-2006-001},
year        = 2006
}