Computer Laboratory

OCaml Labs

Xavier Leroy

INRIA
Galium team leader
http://pauillac.inria.fr/~xleroy/

Projects

These are the projects that Xavier is working on. The project list includes other people's tasks on the same project too, as it's helpful to see interdependencies this way. Click on the project headings to see more information about it.