Login / Signup
Lubin Bailly
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Shape Recognition
Programming Environment
Shape Change
Computational Complexity
Top Venues
FHPNC
</>
Publications
</>
Lubin Bailly
,
Troels Henriksen
,
Martin Elsman
Shape-Constrained Array Programming with Size-Dependent Types.
FHPNC
(2023)