Pierre-Evariste Dagand

Registered user since Sun 5 Mar 2017

Name: Pierre-Evariste Dagand

Country: France

Affiliation: LIP6/CNRS

Personal website: https://pages.lip6.fr/Pierre-Evariste.Dagand/#contact

Contributions

PriSC 2018 Foundations of Dependent Interoperability
Show activities from other conferences

POPL 2018-profile
View general profile