VIAF

Virtual International Authority File

Search

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

Leroy, Xavier National Library of the Netherlands-test Wikipedia (en)

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 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
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

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 About

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