VIAF

Virtual International Authority File

Search

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

Xavier Leroy Wikidata

Leroy, Xavier National Library of the Netherlands-test

VIAF ID: 116467961 (Personal)

Permalink: http://viaf.org/viaf/116467961

ISNI-test: 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-test
Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings xR Extended Titles-test National Library of the Netherlands-test 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)