Write a Blog >>
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

CPP 2020Author of Astructio: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track
Show activities from other conferences

Using general profile