Fairness and Communication-Based Semantics for Session-Typed Languages

Ryan Kavanagh

We give communication-based semantics and reasoning techniques for Polarized SILL, a rich session-typed programming language with general recursion. Its features include channel an…