Sites Inria

There are 2 Results with the keyword : "OCamlPro"

Start-up - OCamlPro

Interview with Fabrice Le Fessant

12/03/2014

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... 

Keywords:

Home > Innovation > Research Partnerships & Transfer > Start-ups > OCamlPro

More

Partnership

Partnership with Tezos Foundation

23/03/2018

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.

Keywords:

Home > News > News from Inria > Partenariat avec la Fondation Tezos

More

Top