Martin Elsman: Size-Dependent Types for Practical Data-Parallel Programming Channel: Jeremy Gibbons221 views • 4y agoRelated VideosStanford CS149 I Parallel Computing I 2023 I Lecture 4 - Parallel Programming Basics
