Event-Driven Multiparty Session Actors

Explore a conference talk on Event-Driven Multiparty Session Actors presented at HOPE'23 by Simon Fowler and Raymond Hu. Delve into the intersection of actor languages like Erlang and Elixir with multiparty session types (MPSTs) for designing reliable, fault-tolerant distributed applications. Discover how the speakers address the challenge of applying session types to actor languages by introducing a novel approach that combines a flow-sensitive effect system with an event-driven programming model. Learn about the first statically-typed session type system for actors capable of participating in multiple sessions, offering enhanced protocol adherence and communication pattern specification in distributed systems.

[HOPE'23] Event-Driven Multiparty Session Actors