Lubin Bailly, Troels Henriksen, Martin Elsman. Shape-Constrained Array Programming with Size-Dependent Types. In Gabriele Keller, Sam Westrick, editors, Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, FHPNC 2023, Seattle, WA, USA, 4 September 2023. pages 29-41, ACM, 2023. [doi]
Abstract is missing.