A type checking algorithm for qualified session types

Marco Giunti

We present a type checking algorithm for establishing a session-based discipline in the pi calculus of Milner, Parrow and Walker. Our session types are qualified as linear or unres…