2026-02-27 14:54:54
Very happy to say that "Speak Now: Safe Actor Programming with Multiparty Session Types" has been accepted to OOPSLA'26!
Can we use session types to get communication guarantees about code written in actor languages, while also making use of idioms such as supervision hierarchies? Yes -- using first-class message handlers & flow-sensitive effects!
This has been something I've been puzzling over since my MSc, so I'm very happy that we've finally got a…



