[ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus Blog 16/06/2026 · 0 Comment [ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-CalculusTranslating Concepts of the Futhark Programming Language into an Extended Pi-CalculusFuthark: A High-Performance Purely Functional Array Language - Troels Henriksen (Lambda Days 2017)Troels Henriksen: Purely Functional GPU Programming with FutharkACT@UCR Seminar: The Pi Calculus - Christian WilliamsPyCon APAC 2025 - Structlog in Practice by Takayuki ShimizukawaFuthark: High-performance purely functional data-parallel array programming[PriSC'23] pi_RA: A pi-calculus for verifying protocols that use remote attestationProgramming with Math | The Lambda Calculus12