Paris Open Source Summit



Retour à la liste des exposants

OCAMLPRO / Stand : C21


Secteur d'activité :

INNOVATION
SECURITE/CYBERSECURITE
METHODE ET QUALITE
INFRASTRUCTURES


Présentation :

OCamlPro est le leader du développement logiciel de pointe en OCaml. Créée en 2011 et issue de l’Inria, elle est spécialisé sur OCaml, langage à la pointe issu de 30 ans de recherche. Activités: prototypage logiciel, expertise en méthodes formelles/preuve de programmes, outillage open source sur OCaml, expertise en compilation, R&D et formations.




Retour à la liste des exposants



Partenaires
Participants