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


DeepSpec 2019 Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec
Show activities from other conferences

PLDI 2019-profile
View general profile