Scholar

Xavier Leroy

Google Scholar ID: K5yXAeAAAAAJ

Collège de France

Programming languagesSoftware verificationProgram proofCompilersFunctional programming

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

14,111

H-index

58

i10-index

102

Publications

20

Co-authors

22

list available

Contact

No contact links provided.

Publications

1 items

A Lazy, Concurrent Convertibility Checker

2025

Cited

0

Resume (English only)

Co-authors

22 total

Roberto Di Cosmo

Professor of Computer Science, University Paris Diderot