MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Vincent Cremet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Adding type constructor parameterization to Java  
  • by Philippe Altherr, Vincent Cremet — 2007 — FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP’07) AT THE EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING (ECOOP
  • …Adding Type Constructor Parameterization to Java Philippe Altherr and Vincent Cremet Abstract. We…
  • Cited by 3 (0 self) – Add To MetaCart
  • A Nominal Theory of Objects with Dependent Types  
  • by Martin Odersky Vincent, Vincent Cremet, Christine Rockl, Matthias Zenger — 2002 — In Proc. ECOOP’03, Springer LNCS
  • …A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine Rockl…
  • Add To MetaCart
  • An Equational Theory for Transactions  
  • by Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky — 2003 — In Proc. of FSTTCS, LNCS 2914
  • …An Equational Theory for Transactions ⋆ Andrew P. Black 1 , Vincent Cremet 2 , Rachid Guerraoui 2…
  • Cited by 14 (0 self) – Add To MetaCart
  • unknown title  
  • by An Equational, Theory Transactions, Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky, An Equational, Theory Transactions, Rachid Guerraoui — 2003
  • … An Equational Theory for Transactions Andrew P. Black, Vincent Cremet, Rachid Guerraoui…
  • Add To MetaCart
  • A core calculus for Scala type checking  
  • by Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky, École Normale Supérieure, École Normale Supérieure De Lyon — 2006 — In Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, Springer LNCS
  • …A Core Calculus for Scala Type Checking Vincent Cremet 1 , François Garillot 2 , Sergueï Lenglet 3…
  • Cited by 6 (1 self) – Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB