![Pierre-Yves Strub](https://conf.researchr.org/getProfileImage/pierreyvesstrub/205e56cf-754e-4322-b616-ef6f99de5127/small.jpg?1713891436000)
Registered user since Thu 17 Dec 2015
Name:Pierre-Yves Strub
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: http://www.strub.nu
Contributions
POPL 2016-profile
View general profile
View general profile
Registered user since Thu 17 Dec 2015
Contributions