Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Yann Régis-Gianas

Registered user since Sun 17 Jan 2016

Name: Yann Régis-Gianas

Country: France

Affiliation: IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2

Personal website: http://yann.regis-gianas.org/

Research interests: Programming Languages

Contributions

OCaml 2018Author of The OCaml Software Foundation within the OCaml 2018-track
ICFP 2018Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
Show activities from other conferences

ICFP 2018-profile
View general profile