There are 2 Results with the keyword : "OCamlPro"
Start-up - OCamlPro
OCamlPro offers services and tools to enable the rapid development of high quality software. Its expertise in OCaml empowers this start-up to develop its activity in all areas where code correction, high availability and security are of major importance. The OCaml programming language, distributed as free software by Inria, is the fruit of 25 years of research and development.
Fabrice Le Fessant, one of the founders of OCamlPro and scientific advisor to the company, spoke to us about its creation...
Inria annonces a partnership with the Tezos Foundation, which has just announced its support for the OCaml Foundation, and has committed funds for a group of experienced Inria researchers to review the Tezos codebase.