Thomas Sibut-Pinote - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Registered user since Thu 8 Mar 2018

Name:Thomas Sibut-Pinote

Country:France

Affiliation:UCL

Research interests:Formal Proof, Distributed Systems, Formal methods, Functional Programming

Contributions

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

Show activities from other conferences

ICFP 2018-profile
View general profile