Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jacques Garrigue
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2023 profile
POPL 2016 profile
Registered user since Fri 28 Aug 2015
Name:
Jacques Garrigue
Contributions
2017
ICFP
ICFP'16 General Chair in Steering Committee
2016
ICFP
ICFP'16 General Chair in Steering Committee
CoqPL
Committee Member in Program Committee within the CoqPL-track
Share
x
Thu 21 Nov 12:11