1![Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &](https://www.pdfsearch.io/img/c025175b7ef7c3ac64fb836bba388f06.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
2![Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,](https://www.pdfsearch.io/img/9032eb46d82ccdfad5bfdd0dcf94e33f.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
3![Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002](https://www.pdfsearch.io/img/e28708df0a56a6d4098f01dfa68bee44.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
4![What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,](https://www.pdfsearch.io/img/8d645f2b3f3e7a653920a4cd3f91228e.jpg) | Add to Reading ListSource URL: ocaml.orgLanguage: English - Date: 2018-08-18 17:00:38
|
---|
5![Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award, Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award,](https://www.pdfsearch.io/img/9ff868b5cc980157450c509c3e0c9423.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
6![Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France, Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France,](https://www.pdfsearch.io/img/110512ea9f2ef53e18bacde106390b72.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: French - Date: 2018-08-01 14:49:25
|
---|
7![Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt](https://www.pdfsearch.io/img/dfa699b8ed94095365c269bb949240cf.jpg) | Add to Reading ListSource URL: jtristan.github.ioLanguage: English - Date: 2018-06-24 11:22:27
|
---|
8![Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP, Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP,](https://www.pdfsearch.io/img/5cd364b7977cc1ea5d1d666c5ede98d0.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
9![A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,](https://www.pdfsearch.io/img/28b15af1ae3258a676d565fe97521d2d.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|