Page de Lubin Bailly

Je remplirai cette page un jour...

Student of the computer-science department of the ENS.

Publication (more to come hopefully):

• Shape-Constrained Array Programming with Size-Dependent Types

GitLab, GitHub, ORCiD, ACM