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

DeepSpec 2019Presenter of Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec within the DeepSpec 2019-track
Show activities from other conferences

Using general profile