Lubin Bailly
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Martin Elsmanonce
- Troels Henriksenonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Shape-Constrained Array Programming with Size-Dependent Types | FHPNC 2023 | 2023-09-04 |
A dependent-type extension enforces array-size consistency in an ML-style data-parallel language and is implemented in the Futhark compiler; sizes are… | ||
| nothing matches | ||