Session Types as Generic Process Types

Simon J. Gay, Nils Gesbert, António Ravara

Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…