Write a Blog >>
Delphine Demange

Registered user since Tue 18 Jun 2019

Name:Delphine Demange
Affiliation:Univ Rennes, Inria, CNRS, IRISA

Contributions

CoqPL 2020 Committee Member in Program Committee within the CoqPL-track
Show activities from other conferences

POPL 2020-profile
View general profile