Leroy, Xavier (1968-....) Amélioration Assistance
026985691
Notice de type Personne

Forme retenue

Leroy, Xavier (1968-....)

Information

Langue d'expression : français

Source

Internet, http://gallium.inria.fr/~xleroy/, 2011-12-14


Le langage Caml / Pierre Weis, Xavier Leroy, 1993

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN001029065
En cours : FRBNF11912631X

Notices bibliographiques liées :3rôle(s)

070 Auteur ( 8 )
340 Editeur scientifique ( 1 )
727 Directeur de thèse ( 5 )



Auteur :

Rôles ?



022850996 : The ZINC experiment : an economical implementation of the ML language / Xavier Leroy, Janvier 1990 / 78153 Le Chesnay : INRIA , 1990

099457911 : The CAML LIGHT system [Texte imprimé] : release 0.5, documentation and user's manual / Xavier Leroy, Michel Mauny / Rocquencourt : INRIA , 1992

045309426 : Le langage Caml [Texte imprimé] / Pierre Weis, Xavier Leroy / 2e édition, 1e édition en 1993 / Paris : Dunod , Cop. 1999

002978628 : Manuel de référence du langage Caml [Texte imprimé] / Xavier Leroy,... Pierre Weis,... / Paris : InterÉditions , DL 1994, cop. 1993

002980215 : Le langage Caml [Texte imprimé] / Pierre Weis,... Xavier Leroy,... / Paris : InterÉditions , DL 1994, cop. 1993

005700094 : Le langage Caml [Texte imprimé] / Pierre Weis,... Xavier Leroy,.. / [3e tirage corr.] / Paris : InterEditions , DL 1996

011983639 : Manuel de référence du langage Caml [Texte imprimé] / Xavier Leroy,... Pierre Weis,... / 2e tirage corrigé / Paris : InterEditions , impr. 1994

159180848 : Le langage CAML [Ressource électronique] / Pierre Weis, Xavier Leroy / 2e éd. / [Rocquencourt] : INRIA , impr. 2009



Editeur scientifique :

Rôles ?



03599262X : Types in compilation [Texte imprimé] : Second International Workshop, TIC'98 : Kyoto, Japan, March 1998 : proceedings / Xavier Leroy, Atsushi Ohori (eds) / New York : Springer , 1998



Directeur de thèse :

Rôles ?



089057007 : Compilation de termes de preuves [Texte imprimé] : un (nouveau) mariage entre coq et OCaml / Benjamin Grégoire ; sous la direction de Xavier Leroy / [S. l.] : [s. n.] , 2003

078084180 : Modules mixins, modules et récursion étendue en appel par valeur [Texte imprimé] / Tom Hirschowitz ; sous la dir. de Xavier Leroy / [S.l.] : [s.n.] , 2003

13802779X : Vérification formelle d'un compilateur optimisant pour langages fonctionnels [Texte imprimé] / Zaynah Dargaye ; sous la direction de Xavier Leroy / [S.l.] : [s.n.] , 2009

144205696 : Vérification formelle de validateurs de traduction [Texte imprimé] / Jean--Baptiste Tristan ; sous la direction de Xavier Leroy / [S.l.] : [s.n.] , 2009

160471303 : Les objets en C + + [Texte imprimé] : sémantique formelle mécanisée et compilation vérifiée = = Mechanized Formal Semantics and Verified Compilation for C++ Objects : / Tahina Ramananandro ; sous la direction de Xavier Leroy / [S.l.] : [s.n.] , 2012


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance