![Pierre-Yves Strub](https://conf.researchr.org/getProfileImage/pierreyvesstrub/749c32ce-fba9-4ce7-839e-1eda16a3fe4e/small.jpg?1711487953000)
Registered user since Thu 17 Dec 2015
Name:Pierre-Yves Strub
Country:France
Affiliation:École Polytechnique
Personal website: https://www.strub.nu/
Contributions
POPL 2017-profile
View general profile
View general profile
Registered user since Thu 17 Dec 2015
Contributions