Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000114556489 | 1 hits
Person
ISNI: 
0000 0001 1455 6489
Name: 
Leroy, X.
Leroy, Xavier
Dates: 
1968-
Creation class: 
Computer file
Language material
Text
Creation role: 
editor
Related names: 
Dargaye, Zaynah (1980-))
Grégoire, Benjamin
Hirschowitz, Tom (1976-....))
Mauny, Michel
Ohori, Atsushi (1957-)
Ramananandro, Tahina (1985-....))
TIC'98 (1998 : Kyoto, Japan)
TIC'98 (Kyoto, Japan) (1998)
Tristan, Jean-Baptiste (1982-))
Weis, Pierre
Titles: 
CAML LIGHT system release 0.5, documentation and user's manual, The
Compilation de termes de preuves un (nouveau) mariage entre coq et OCaml
Compilation of proofs terms : a (new) marriage between coq and OCaml.
Formal verification of an optimizing compiler for functional languages.
langage Caml, Le
Mechanized Formal Semantics and Verified Compilation for C++ Objects.
Mixin modules, modules, and extended recursion in an call-by-value setting.
Modules mixins, modules et récursion étendue en appel par valeur
TIC '98
Types in Compilation Second International Workshop, TIC '98 Kyoto, Japan, March 25-27, 1998 Proceedings
Vérification formelle de validateurs de traduction
ZINC experiment, The : an economical implementation of the ML language
Notes: 
Sources: