Articles liés

Articles écrits par Dario Pinto

Site

Catégories

OCamlPro at the JFLA2022 Conference

Auteurs: OCamlPro, Dario Pinto
Date: 2022-07-12
Catégorie: OCamlPro
Tags: jfla, Software Heritage, swh, ocaml, Alt-Ergo, fuzzing, mikino, rust, formal verification

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)