Xavier Leroy (born 15 March 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system...
5 KB (314 words) - 07:32, 13 September 2024
dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others...
37 KB (4,007 words) - 12:41, 6 September 2024
PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started officially in 2005, funded by the French institutes ANR and...
3 KB (246 words) - 18:08, 17 March 2024
POSIX Threads introduced in 1996. The main developer of LinuxThreads was Xavier Leroy. It has been superseded by the Native POSIX Thread Library (NPTL). LinuxThreads...
2 KB (260 words) - 12:56, 8 January 2024
Automation (INRIA). Its successor, Caml Light, was implemented in C by Xavier Leroy and Damien Doligez, and the original was nicknamed "Heavy Caml" because...
9 KB (858 words) - 10:03, 17 May 2024
admiral Xavier Leroy (born 1968), French computer scientist and programmer "Bad, Bad Leroy Brown", protagonist of a song by Jim Croce "Leroy Johnson"...
22 KB (2,723 words) - 19:44, 25 August 2024
Kaplan-Moss Django Web framework Andrew Kelley Zig Programming language Xavier Leroy OCaml Programming language Haoyuan Li Alluxio Data Orchestration System...
19 KB (1,105 words) - 18:01, 14 September 2024
pp. 101–102. doi:10.1007/978-3-319-10542-0. Retrieved Mar 13, 2024. Xavier Leroy. "Coinductive big-step operational semantics". Gilles Kahn. "Natural...
19 KB (2,561 words) - 11:41, 24 April 2024
programming languages. 2024: Keshav Pingali 2023: Kathryn S. McKinley 2022: Xavier Leroy 2021: Bob Harper 2020: Hans-J. Boehm 2019: Alex Aiken 2017: Thomas W...
15 KB (1,740 words) - 19:02, 12 August 2024
JuliaParallel/MPI.jl, Parallel Julia, 2019-10-03, retrieved 2019-10-08 "Xavier Leroy - Software". cristal.inria.fr. Archives of the Caml mailing list > Message...
49 KB (6,217 words) - 16:52, 1 August 2024