Parameterized Algebraic Protocols

Explore a groundbreaking 20-minute conference talk from PLDI 2023 on Parameterized Algebraic Protocols. Delve into the innovative approach proposed by researchers from the University of Lisbon and the University of Freiburg for defining protocol templates and session types. Learn how these algebraic protocols encompass regular, context-free, and nested session types while introducing a more efficient linear-time nominal check for type checking. Discover how the combination of algebraic protocols with polymorphism enhances expressiveness and modularity in session type parameterization and composition. Gain insights into the potential applications of this research in improving type systems for concurrent and distributed programming.

[PLDI'23] Parameterized Algebraic Protocols