The Different Shades of Infinite Session Types

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communica…