The paper introduces Pat, described as the first programming language built around mailbox types, a behavioural type system for actor languages. Its typechecker catches protocol violations, unexpected messages, forgotten replies and self-deadlock, and is tested on a factory automation case study and Savina benchmark examples.

— via arXiv Programming Languages, Simon Fowler, Duncan Paul Attard, Danielle Marshall, Simon J. Gay, Phil Trinder