Articles liés

Articles avec le tag jfla

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)

OCamlPro’s Liquidity-lang demo at JFLA2018 – a smart-contract design language

Auteurs: Çagdas Bozman
Date: 2018-02-08
Catégorie: Blockchains
Tags: JFLA, Liquidity, smart-contract, Tezos

As a tradition, we took part in this year's Journées Francophones des Langages Applicatifs (JFLA 2018) that was chaired by LRI's Sylvie Boldo and hosted in Banyuls the last week of January. That was a nice opportunity to present a live demo of a multisignature smart-contract entirely written in th... (Lire plus)