[ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus

Channel: ACM SIGPLAN
164 views • 15/06/2025

Related Videos

Troels Henriksen: Purely Functional GPU Programming with Futhark
Troels Henriksen: Purely Functional GPU Programming with Futhark
Futhark: High-performance purely functional data-parallel array programming
Futhark: High-performance purely functional data-parallel array programming
Programming with Math | The Lambda Calculus
Programming with Math | The Lambda Calculus