4 ms·
The fact that Xavier Leroy has been working on CompCert gives it an extra level of credibility for me. (Xavier Leroy of INRIA is the main author of OCaml, amon
by nathell 12y ago
The fact that Xavier Leroy has been working on CompCert gives it an extra level of credibility for me.
(Xavier Leroy of INRIA is the main author of OCaml, among other things.)
- peterfirefly 12y agoAnd the original Linux threading support. His report on the Zinc Experiment is well worth reading: http://gallium.inria.fr/~xleroy/bibrefs/Leroy-ZINC.html http://gallium.inria.fr/~xleroy/bibrefs/Leroy-ZINC.html