Virtual International Authority File


Leroy, Xavier, 1968-.... Sudoc [ABES], France Library of Congress/NACO National Library of France ISNI

Xavier Leroy Wikidata

Leroy, Xavier National Library of the Netherlands

VIAF ID: 116467961 (Personal)


ISNI: 0000  0001  1455  6489 

Open Section Close Section Preferred Forms





Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close SectionWorks

Title Sources
The CAML LIGHT system release 0.5, documentation and user's manual Sudoc [ABES], France
Compilation de termes de preuves un (nouveau) mariage entre coq et OCaml Sudoc [ABES], France
Compilation of proofs terms : a (new) marriage between coq and OCaml. Sudoc [ABES], France
Formal verification of an optimizing compiler for functional languages. Sudoc [ABES], France
Le langage Caml Sudoc [ABES], France National Library of France
Mechanized Formal Semantics and Verified Compilation for C++ Objects. Sudoc [ABES], France
Mixin modules, modules, and extended recursion in an call-by-value setting. Sudoc [ABES], France
Modules mixins, modules et récursion étendue en appel par valeur Sudoc [ABES], France
Objective Caml Wikidata
OCaml Wikidata
TIC '98 National Library of the Netherlands
Types in Compilation Second International Workshop, TIC '98 Kyoto, Japan, March 25-27, 1998 Proceedings xR Extended Titles National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Vérification formelle de validateurs de traduction Sudoc [ABES], France
The ZINC experiment : an economical implementation of the ML language Sudoc [ABES], France
لغة كامل الموضوعية Wikidata
ობიექტური კამლი Wikidata

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section History of VIAF ID:116467961 (24)