Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Clément Pascutto

Registered user since Mon 31 May 2021

Name:Clément Pascutto
Country:France
Affiliation:Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF
Personal website:https://www.pascutto.fr
Research interests:OCaml, Distributed systems, Formal methods, Runtime Assertion Checking, Software Engineering

Contributions

OCaml 2020 Irmin v2
Show activities from other conferences

ICFP 2020-profile
View general profile