Muriel SHAN SEI FANN'hésitez pas à venir en discuter directement avec nous après la présentation, ou simplement nous contacter si vous n'êtes pas disponible demain !
@ocamlpro
, les experts des langages de programmation ! 5/5
OCamlPro
@ocamlpro
- 79 Followers
- 5 Following
- 6 Posts
OCamlPro promotes the use of the OCaml programming language, by providing all services that companies would need to use it
1/ Mise en production de #Mlang, le compilateur développé par @DMerigoux
et Raphael Monat, pour le langage dédié conçu par la DGFiP pour faciliter le calcul de l'Impôt sur le Revenu 3/5
et Raphael Monat, pour le langage dédié conçu par la DGFiP pour faciliter le calcul de l'Impôt sur le Revenu 3/5
Et si la solution pour reprendre le contrôle de ses développements informatiques passait par adapter un langage de programmation à votre métier ?
Demain mercredi 9 novembre à 10h50, rendez-vous en salle 224/225 de l'@osxp_paris
2022, porté par @HubOpenSource
1/5
We are pleased to announce the arrival of Sylvain Conchon in our team! Chief Scientific Officer in Formal Methods at OCamlPro, co-creator of Alt-Ergo and teacher of OCaml language in universities for about 20 years, Sylvain shares thoughts on interactions between industry and research labs, Formal Methods as an Industrial Technique and his vision of the Ocaml language.
Take a read to his interview on our blog: https://www.ocamlpro.com/2020/06/05/interview-sylvain-conchon-cso-on-formal-methods/
Take a read to his interview on our blog: https://www.ocamlpro.com/2020/06/05/interview-sylvain-conchon-cso-on-formal-methods/
[Interview] Sylvain Conchon joins OCamlPro - OCamlPro
On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre à programmer avec OCaml with Jean-Christophe Filliâtre, a book for students in French […]
Now's the time to experiment with OCaml! 💡
We are happy to announce a brand new version of TryOCaml, a tool born from our work on Learn-OCaml! Try OCaml in your browser
➡ http://www.ocamlpro.com/2020/03/16/new-version-of-try-ocaml-in-beta/
We are happy to announce a brand new version of TryOCaml, a tool born from our work on Learn-OCaml! Try OCaml in your browser
➡ http://www.ocamlpro.com/2020/03/16/new-version-of-try-ocaml-in-beta/