Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lubin Bailly
conf.researchr.org general profile
ICFP 2023 profile
Registered user since Mon 9 Oct 2023
Name:
Lubin Bailly
Affiliation:
École normale supérieure
Contributions
2023
FHPNC
Author of Shape-Constrained Array Programming with Size-Dependent Types within the FHPNC 2023-track
Share
x
Tue 19 Nov 01:21