Shape-Constrained Array Programming with Size-Dependent Types. - Lubin Bailly; Troels Henriksen; Martin Elsman (FHPNC, 2023)