Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)

Simon Fowler, Raymond Hu

Actor languages such as Erlang and Elixir are widely used for implementing scalable and reliable distributed applications, but the informally-specified nature of actor communicatio…