[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
![[ARRAY24] Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus](https://i.ytimg.com/vi/S8_fjSila1w/hq720.jpg?sqp=-oaymwEnCNAFEJQDSFryq4qpAxkIARUAAIhCGAHYAQHiAQoIGBACGAY4AUAB&rs=AOn4CLABK0RbJdm_HejKoF1deR004iYvhA)
![[PriSC'23] pi_RA: A pi-calculus for verifying protocols that use remote attestation](https://i.ytimg.com/vi/9xHprH5b5-I/hq720.jpg?sqp=-oaymwEnCNAFEJQDSFryq4qpAxkIARUAAIhCGAHYAQHiAQoIGBACGAY4AUAB&rs=AOn4CLDPM3qwLEzjosVjREtnDI6frY4FWA)
