51 citations · 191 across the 20 of their papers we have counts for
1 paper · 2 filters
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…