Related Articles

Articles tagged by jfla

Home

Categories

OCamlPro at the JFLA2022 Conference

Authors: OCamlPro, Dario Pinto
Date: 2022-07-12
Category: 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... (Read more)

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

Authors: Çagdas Bozman
Date: 2018-02-08
Category: 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... (Read more)