Exploring Algebraic Placement in Multiparty Languages - CP 2024

Explore the relationship between type systems and placement systems in programming languages for distributed systems in this 19-minute conference talk from CP 2024. Delve into the challenges of integrating static reasoning techniques across distributed parties into general-purpose programming languages. Discover a novel approach that separates placement systems from type systems, allowing for modular composition and reasoning. Learn how the structure of placement systems mirrors that of type systems, enabling the repurposing of Haskell's type checker for placement checking. Gain insights into building a placement algebra on places, similar to algebraic data types in conventional type systems. Presented by George Zakhour, Pascal Weisenburger, and Guido Salvaneschi from the University of St. Gallen, this talk offers valuable perspectives on advancing multiparty language development.