Articles liés

Articles écrits par OCamlPro



In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National... (Lire plus)


Auteurs: Muriel, OCamlPro
Date: 2022-01-31
Catégorie: OCamlPro

OCamlPro was created in 2011 to advocate the adoption of the OCaml language and Formal Methods in general in the industry. 2021 was a very special year as we celebrated our 10th anniversary! While building a team of highly-skilled engineers, we navigated through our expertise domains, programming la... (Lire plus)


Auteurs: OCamlPro
Date: 2021-05-06
Catégorie: Trainings
Tags: format, tutorial

... (Lire plus)


Auteurs: OCamlPro
Date: 2021-04-29
Catégorie: Formal Methods
Tags: alt-ergo, fr

La troisième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu le 1er avril ! Cette réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de... (Lire plus)


Auteurs: Muriel, OCamlPro
Date: 2021-02-02
Catégorie: OCamlPro

2020 at OCamlPro OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While building a team of highly-skilled engineers, we navigated through our expertise domains, delivering works on the OCaml language and tooling, training comp... (Lire plus)


Auteurs: OCamlPro
Date: 2020-06-01
Catégorie: Trainings

Article écrit par Mattias. Le module Format d’OCaml est un module extrêmement puissant mais malheureusement très mal utilisé. Il combine notamment deux éléments distincts : les boîtes d’impression élégante les tags sémantiques Le présent article vise à démystifier une grande partie ... (Lire plus)


Auteurs: OCamlPro
Date: 2020-02-04
Catégorie: OCamlPro

2019 at OCamlPro OCamlPro a pour ambition d’aider les industriels dans leur adoption du langage OCaml et des méthodes formelles. L’entreprise est passée d’1 à 21 personnes et est restée fidèle à cet objectif. L’année 2019 chez OCamlPro a été très animée, et le nombre de réalisati... (Lire plus)


Auteurs: Muriel, OCamlPro
Date: 2020-02-04
Catégorie: OCamlPro

2019 at OCamlPro OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly sharing this ambitious goal! The year 2019 at OCamlPro was very lively, with fantastic accomplishments all along! Let's quickly review the past years' works... (Lire plus)


Auteurs: OCamlPro
Date: 2019-09-25
Catégorie: Trainings

In our endeavour to encourage professional programmers to understand and use OCaml, OCamlPro will be giving two training sessions, in French, in our Paris offices: OCaml Beginner course for professional programmers (5-6 Nov) OCaml Expertise (7-8 Nov). The "Expert" OCaml course is for already experie... (Lire plus)


Auteurs: OCamlPro
Date: 2019-09-25
Catégorie: Trainings

OCamlPro lance un cycle de formations régulières à OCaml, en français, dans ses locaux parisiens (métro Alésia). La première session aura lieu début novembre 2019, avec 2 formations: Formation débutant : passer à OCaml (5-6 novembre) Formation expert : approfondir sa maîtrise du langage (... (Lire plus)